International Symposium on Formal Methods (was Formal Methods Europe FME)

CORE rank

CORE rank (raw)

Fields of research

Software Engineering · Theory of Computation

Papers indexed

1,364

1978–2026

Best Software Engineering conferences Best Theory of Computation conferences

Papers per year

1978116 peak2026

Most published authors

FM papers

1,364 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
1991	CPO's do not form a CPO, and yet Recursion Works.	Marek A. Bednarczyk, Andrzej M. Borzyszkowski
1991	An Overview of HP-SL.	Stephen Bear
1991	On Formal Specification of a Proof Tool.	R. D. Arthan
1991	Tutorial on the Irish School of the VDM.	Mchel Mac an Airchinnigh
1991	The B-Method.	Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Srensen
1990	Refining Data to Processes.	Job Zwiers
1990	Refinement of State-Based Concurrent Systems.	Jim Woodcock, Carroll Morgan
1990	A Buffering System Implementation using VDM.	Debora Weber-Wulff
1990	A Naive Domain Universe for VDM.	Andrzej Tarlecki, Morten Wieth
1990	Adding Abstract Datatypes to Meta-IV.	Jrgen Steensgaard-Madsen
1990	Type Inference in Z.	J. Michael Spivey, Bernard Sufrin
1990	Programming with VDM Domains.	Uwe Schmidt, Hans-Martin Hrcher
1990	Modular Extensions to Z.	Augusto Sampaio, Silvio Romero de Lemos Meira
1990	Type Checking BSI/VDM-SL.	Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
1990	A Formal Approach to Hypertext using Post-Prototype Formal Specification.	Danny B. Lange
1990	Two Approaches towards the Formalisation of VDM.	Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
1990	Z and the Refinement Calculus.	Steve King
1990	Modal Logic Programming.	D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki
1990	Using Z as a Specification Calculus for Object-Oriented Systems.	Anthony Hall
1990	Correctness in the Small.	Peter Haastrup, Christian Gram
1990	Specifying Open Distributed Systems with Z.	Reinhard Gotzhein
1990	An Algebraic Approach to Refinement.	Joseph A. Goguen
1990	HOOD and Z for the Development of Complex Software Systems.	Raffaele di Giovanni, Pier Luigi Iachini
1990	Formal Specifications as Reusable Frameworks.	David Garlan, Norman M. Delisle
1990	Modularizing the Formal Description of a Database System.	John S. Fitzgerald, Cliff B. Jones

1,251–1,275 of 1,364← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.