Conferences in DBLP
Ole-Johan Dahl Object Orientation and Formal Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen An Algebraic Approach to Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] D. Kato , T. Kikuchi , R. Nakajima , J. Sawada , H. Tsuiki Modal Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Chalin , Peter Grogono Z Specification of an Object Manager. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Haastrup , Christian Gram Correctness in the Small. [Citation Graph (0, 0)][DBLP ] Conf ] Danny B. Lange A Formal Approach to Hypertext using Post-Prototype Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schmidt , Hans-Martin Hörcher Programming with VDM Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Debora Weber-Wulff A Buffering System Implementation using VDM. [Citation Graph (0, 0)][DBLP ] Conf ] David Garlan , Norman M. Delisle Formal Specifications as Reusable Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Steve King Z and the Refinement Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] John S. Fitzgerald , Cliff B. Jones Modularizing the Formal Description of a Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Augusto Sampaio , Silvio Romero de Lemos Meira Modular Extensions to Z. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Steensgaard-Madsen Adding Abstract Datatypes to Meta-IV. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Duke , Roger Duke Towards a Semantics for Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Raffaele di Giovanni , P. L. Iachini HOOD and Z for the Development of Complex Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Hall Using Z as a Specification Calculus for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Gotzhein Specifying Open Distributed Systems with Z. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock , Carroll Morgan Refinement of State-Based Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Job Zwiers Refining Data to Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens Two Approaches towards the Formalisation of VDM. [Citation Graph (0, 0)][DBLP ] Conf ] Nico Plat , Ronald Huijsman , Jan van Katwijk , Gertjan van Oosten , Kees Pronk , Hans Toetenel Type Checking BSI/VDM-SL. [Citation Graph (0, 0)][DBLP ] Conf ] J. Michael Spivey , Bernard Sufrin Type Inference in Z. [Citation Graph (0, 0)][DBLP ] Conf ] Marek A. Bednarczyk , Andrzej M. Borzyszkowski , Wieslaw Pawlowski Recursive Definitions Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Marek A. Bednarczyk , Andrzej M. Borzyszkowski , Wieslaw Pawlowski Towards the Semantics of the Definitional Language of MetaSoft. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Blikle , Mikkel Thorup On Conservative Extensions of Syntax in the Process of System Development. [Citation Graph (0, 0)][DBLP ] Conf ] M. J. van Diepen , Kees M. van Hee A Formal Semantics for Z and the Link between Z and the Relational Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Tarlecki , Morten Wieth A Naive Domain Universe for VDM. [Citation Graph (0, 0)][DBLP ] Conf ] 