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

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
1979	Interactive Design and Verification: A Message Switching Network Example.	Mark Moriconi
1979	Writing Simulatable Specifications in SPECIAL.	Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
1979	An Approach to the Specification of Distributed Software.	William R. Franta, William Earl Boebert, Helmut K. Berg
1979	Abstraction and Refinement in RDM.	Donald L. Boyd, Antonio Pizzarello, William T. Wood
1979	An Overview of RDM: Rational Design Methodology.	Donald L. Boyd, Antonio Pizzarello, William T. Wood
1979	Hierarchical Specification of Abstract Data Types.	Helmut K. Berg, Wolfgang K. Giloi
1979	Correctness of Software - An Overview.	Helmut K. Berg, William R. Franta, Thomas G. Moher
1979	Towards a Uniform Design Methodology for Software, Firmware, and Hardware.	Helmut K. Berg
1978	On the Formalization of Programming Languages: Early History and Main Approaches.	Peter Lucas
1978	Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.	Cliff B. Jones
1978	The META-Language: A Reference Manual.	Cliff B. Jones
1978	A Formal Definition of Algol 60 as Described in the 1975 Modified Report.	Wolfgang Henhapl, Cliff B. Jones
1978	Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.	Dines Bjrner
1978	Programming in the META-Language: A Tutorial.	Dines Bjrner

1,351–1,364 of 1,364← Previous Next →

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