32 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. Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
    2004 · Lutherstadt Wittenberg, Germany
    Computer and information sciences
    e10rhfy
14. International Workshop on Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12hf50
15. Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12htqg
16. Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings
    2003 · Taormina, Italy
    Computer and information sciences
    e10rhe0
17. International Conference of B and Z Users (ZB)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e12hf42
18. Abstract State Machines (ASM)
    2002-01-01 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e12htpj
19. Abstract State Machines (ASM)
    2001-01-01 · Las Palmas de Gran Canaria, Spain
    Computer and information sciences
    e12htnm
20. International Conference of B and Z Users (ZB)
    2000-08-29 to 2000-09-02 · York, United Kingdom
    Computer and information sciences
    e12hf34
21. 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
22. Abstract State Machines (ASM)
    1999-01-01 · Toulouse, France
    Computer and information sciences
    e12htmp
23. International Conference of B Users (B)
    1998-04-22/24 · Montpellier, France
    Computer and information sciences
    e12hf26
24. Abstract State Machines (ASM)
    1998-01-01 · Cannes, France
    Computer and information sciences
    e12htkr
25. Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings
    1998 · Magdeburg, Germany
    Computer and information sciences
    e10rhhs

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