16 results · clear filters Sort: newest oldest name

1. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
2. International Symposium on Formal Methods (FM 1999, FM)
   1999-09-20/24 · Toulouse, France
   Computer and information sciences
   e103b0d
3. FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
   1999 · Toulouse, France
   Computer and information sciences
   e113jg4
4. International Symposium on Formal Methods (FM 1998, FM)
   1998-10-07/09 · Boppard, Germany
   Computer and information sciences
   e103azf
5. International Symposium on Formal Methods (FM 1997, FME 1997)
   1997-09-15/19 · Graz, Austria
   Computer and information sciences
   e103ayh
6. International Symposium on Formal Methods (FM 1996, FM)
   1996-03-18/22 · Oxford, United Kingdom
   Computer and information sciences
   e103axk
7. International Symposium of Formal Methods Europe (FM, FME)
   1994-10-24/28 · Barcelona, Spain
   Computer and information sciences
   e103awn
8. International Symposium on Formal Methods (FM 1994)
   1994-10-18/24 · Barcelona, Spain
   MathematicsComputer and information sciences
   e129rjd
9. International Symposium on Formal Methods (FM 1993, FME 1993)
   1993-04-19/23 · Odense, Denmark
   Computer and information sciences
   e103avq
10. Formal Methods (FM) (FM)
    1991-10-21/25 · Kingdom of the Netherlands
    Computer and information sciences
    e12k4n6
11. International Symposium of VDM Europe (VDM)
    1991-10-21/25 · Kingdom of the Netherlands
    Computer and information sciences
    e12p6sp
12. VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions
    1991 · Kingdom of the Netherlands
    Computer and information sciences
    e113jy8
13. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 (VDM Europe 1990)
    1990-04-17/21 · Kiel, Germany
    MathematicsComputer and information sciences
    e10ez3x
14. Formal Methods (FM) (FM)
    1990-04-17/21 · Kiel, Germany
    Computer and information sciences
    e12k4m8
15. International Symposium of VDM Europe (VDM)
    1990-04-17/21 · Kiel, Germany
    Computer and information sciences
    e12p6rr
16. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1990 · Kiel, Germany
    Computer and information sciences
    e113jxa

As JSON: https://labs.confref.org/api/search?series=s109pnb&from=1990&to=1999