15 results · clear filters Sort: newest oldest name

1. Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
   2026 · Tokyo, Japan
   Computer and information sciences
   e113jrm
2. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
3. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
   2019 · Portugal
   Computer and information sciences
   e113jky
4. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
   2019 · Portugal
   Computer and information sciences
   e113jmw
5. International Symposium on Formal Methods (FM 2003, FME)
   2003-09-08/14 · Pisa, Italy
   Computer and information sciences
   e103b37
6. International Symposium on Formal Methods (FM 2002, FME)
   2002-07-22/24 · Copenhagen, Denmark
   Computer and information sciences
   e103b29
7. International Symposium on Formal Methods (FM 2001)
   2001-05-12/16 · Berlin, Germany
   MathematicsComputer and information sciences
   e129rhf
8. 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
9. International Symposium on Formal Methods (FM 1994)
   1994-10-18/24 · Barcelona, Spain
   MathematicsComputer and information sciences
   e129rjd
10. 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
11. 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
12. VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings
    1988 · Dublin, Ireland
    Computer and information sciences
    e113jwc
13. VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings
    1987 · Brussels, Belgium
    Computer and information sciences
    e113jve
14. Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981
    1981 · Aarhus, Denmark
    Computer and information sciences
    e113jsj
15. The Vienna Development Method: The Meta-Language
    1978
    Computer and information sciences
    e113jtg

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