27 results · clear filters Sort: newest oldest name

1. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2018-06-05/08 · Southampton, United Kingdom
   Computer and information sciences
   e12hfee
2. International Workshops on Abstract State Machines (ASM) (ASM)
   series, 31 events, 1993 to 2018
   Computer and information sciences
   s10d7jr
3. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2016-05-23/27 · Linz, Austria
   Computer and information sciences
   e12hfdg
4. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2014-06-02/06 · Toulouse, France
   Computer and information sciences
   e12hfcj
5. International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ)
   2012-06-18/21 · Pisa, Italy
   Computer and information sciences
   e12hfbm
6. International Conference on Abstract State Machines, Alloy, B and Z (ABZ)
   2010-02-22/25 · Orford, Canada
   Computer and information sciences
   e12hfap
7. International Conference on Abstract State Machines, B and Z (ABZ)
   2008-09-16/18 · London, United Kingdom
   Computer and information sciences
   e12hf9r
8. International Conference of B Users (B)
   2007-01-17/19 · Besançon, France
   Computer and information sciences
   e12hf8t
9. International Conference of B and Z Users (ZB)
   2005-04-13/15 · Guildford, United Kingdom
   Computer and information sciences
   e12hf7w
10. Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France (ASM)
    2005-03-08/11 · Paris, France
    Computer and information sciences
    e10rhgv
11. International Workshop on Abstract State Machines (ASM)
    2004-05-24/28 · Lutherstadt Wittenberg, Germany
    Computer and information sciences
    e12hf6y
12. Abstract State Machines (ASM)
    2004-05-24/28 · Lutherstadt Wittenberg, Germany
    Computer and information sciences
    e12htre
13. International Workshop on Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12hf50
14. Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12htqg
15. International Conference of B and Z Users (ZB)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e12hf42
16. Abstract State Machines (ASM)
    2002-01-01 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e12htpj
17. Abstract State Machines (ASM)
    2001-01-01 · Las Palmas de Gran Canaria, Spain
    Computer and information sciences
    e12htnm
18. International Conference of B and Z Users (ZB)
    2000-08-29 to 2000-09-02 · York, United Kingdom
    Computer and information sciences
    e12hf34
19. Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings (ASM)
    2000-03-19/24 · Monte Verità, Switzerland
    Computer and information sciences
    e10rhd2
20. Abstract State Machines (ASM)
    1999-01-01 · Toulouse, France
    Computer and information sciences
    e12htmp
21. International Conference of B Users (B)
    1998-04-22/24 · Montpellier, France
    Computer and information sciences
    e12hf26
22. Abstract State Machines (ASM)
    1998-01-01 · Cannes, France
    Computer and information sciences
    e12htkr
23. International Conference of Z Users (ZUM)
    1997-04-03/04 · Reading, United Kingdom
    Computer and information sciences
    e12hf18
24. Abstract State Machines (ASM)
    1997-01-01 · Cannes, France
    Computer and information sciences
    e12htjt
25. Abstract State Machines (ASM)
    1996-01-01 · Germany
    Computer and information sciences
    e12hthw

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q21198&series=s10d7jr