Precise behavioral specifications in OO information modeling
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Some optimisation problems revisited
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Hi-index | 0.00 |