| 1993 | Towards an Implementation-oriented Specification of TP Protocol in LOTOS. | Ing Widya, Gert-Jan van der Heijden |
| 1993 | Selling Formal Methods to Industry. | Debora Weber-Wulff |
| 1993 | Adding Specification Constructors to the Refinement Calculus. | Nigel Ward |
| 1993 | Symbolic Model Checking for Distributed Real-Time Systems. | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
| 1993 | Integrating SA/RT with LOTOS. | Thony van der Vloedt, Kees Bogaards |
| 1993 | Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. | Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto |
| 1993 | An EVES Data Abstraction Example. | Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels |
| 1993 | Maintaining Consistency Under Changes to Formal Specifications. | Kelvin J. Ross, Peter A. Lindsay |
| 1993 | Verification Tools in the Development of Provably Correct Compilers. | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
| 1993 | The SAZ Project: Integrating SSADM and Z.. | Fiona Polack, Mark Whiston, Keith Mander |
| 1993 | Process Instances in LOTOS Simulation. | Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot |
| 1993 | Conformity Clause for VDM-SL. | Graeme I. P. Parkin, Brian A. Wichmann |
| 1993 | Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
| 1993 | Encoding W: A Logic for Z in 2OBJ. | Andrew P. Martin |
| 1993 | An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. | Gonzalo Len, Juan C. Yelmo, Carlos Snchez, F. Javier Carrasco, Juan J. Gil |
| 1993 | Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics. | Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny |
| 1993 | An Overview of the SPRINT Method. | H. B. M. Jonkers |
| 1993 | Reasoning about Interference in an Object-Based Design Method. | Cliff B. Jones |
| 1993 | Specifying a Safety-Critical Control System in Z. | Jonathan Jacky |
| 1993 | The Integration of LOTOS with an Object Oriented Development Method. | Mikael Hedlund |
| 1993 | A Concurrency Case Study Using RAISE. | Anne E. Haxthausen, Chris George |
| 1993 | On the Derivation of Executable Database Programs from Formal Specifications. | Thomas Gnther, Klaus-Dieter Schewe, Ingrid Wetzel |
| 1993 | Different FDT's Confronted with Different ODP-Viewpoints of the Trader. | Joachim Fischer, Andreas Prinz, Andreas Vogel |
| 1993 | Real-Time Refinement. | Colin J. Fidge |
| 1993 | Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. | Kai Engelhardt, Willem P. de Roever |