9 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. Formal Methods (FM) (FM)
   1988-09-11/16 · Dublin, Ireland
   Computer and information sciences
   e12k4ka
3. International Symposium of VDM Europe (VDM)
   1988-09-11/16 · Dublin, Ireland
   Computer and information sciences
   e12p6qt
4. 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
5. Formal Methods (FM) (FM)
   1987-03-23/26 · Brussels, Belgium
   Computer and information sciences
   e12k4jc
6. International Symposium of VDM Europe (VDM)
   1987-03-23/26 · Brussels, Belgium
   Computer and information sciences
   e12p6pw
7. 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
8. Formal Methods (FM) (FM)
   1981-01-01 · Aarhus, Denmark
   Computer and information sciences
   e12k4he
9. Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981
   1981 · Aarhus, Denmark
   Computer and information sciences
   e113jsj

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