50 results · clear filters Sort: newest oldest name

1. 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
2. International Symposium on Formal Methods (FM 1998, FM)
   1998-10-07/09 · Boppard, Germany
   Computer and information sciences
   e103azf
3. International Symposium on Formal Methods (FM 1997, FME 1997)
   1997-09-15/19 · Graz, Austria
   Computer and information sciences
   e103ayh
4. International Symposium on Formal Methods (FM 1996, FM)
   1996-03-18/22 · Oxford, United Kingdom
   Computer and information sciences
   e103axk
5. International Symposium of Formal Methods Europe (FM, FME)
   1994-10-24/28 · Barcelona, Spain
   Computer and information sciences
   e103awn
6. International Symposium on Formal Methods (FM 1994)
   1994-10-18/24 · Barcelona, Spain
   MathematicsComputer and information sciences
   e129rjd
7. International Symposium on Formal Methods (FM 1993, FME 1993)
   1993-04-19/23 · Odense, Denmark
   Computer and information sciences
   e103avq
8. Formal Methods (FM) (FM)
   1991-10-21/25 · Kingdom of the Netherlands
   Computer and information sciences
   e12k4n6
9. International Symposium of VDM Europe (VDM)
   1991-10-21/25 · Kingdom of the Netherlands
   Computer and information sciences
   e12p6sp
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 (VDM Europe 1990)
    1990-04-17/21 · Kiel, Germany
    MathematicsComputer and information sciences
    e10ez3x
12. Formal Methods (FM) (FM)
    1990-04-17/21 · Kiel, Germany
    Computer and information sciences
    e12k4m8
13. International Symposium of VDM Europe (VDM)
    1990-04-17/21 · Kiel, Germany
    Computer and information sciences
    e12p6rr
14. 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
15. Formal Methods (FM) (FM)
    1988-09-11/16 · Dublin, Ireland
    Computer and information sciences
    e12k4ka
16. International Symposium of VDM Europe (VDM)
    1988-09-11/16 · Dublin, Ireland
    Computer and information sciences
    e12p6qt
17. 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
18. Formal Methods (FM) (FM)
    1987-03-23/26 · Brussels, Belgium
    Computer and information sciences
    e12k4jc
19. International Symposium of VDM Europe (VDM)
    1987-03-23/26 · Brussels, Belgium
    Computer and information sciences
    e12p6pw
20. 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
21. Formal Methods (FM) (FM)
    1981-01-01 · Aarhus, Denmark
    Computer and information sciences
    e12k4he
22. Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981
    1981 · Aarhus, Denmark
    Computer and information sciences
    e113jsj
23. The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany (FM)
    1979-06-25/27 · Berlin, Germany
    Computer and information sciences
    e113jf7
24. Formal Methods (FM) (FM)
    1978-01-01
    Computer and information sciences
    e12k4gg
25. The Vienna Development Method: The Meta-Language
    1978
    Computer and information sciences
    e113jtg

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