Conferences in DBLP
Juan Bicarregui , Brian Matthews Proof and Refutation in Formal Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Michel P. Schellekens Valuations revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Pahl Modular Composition of Language Features through Extensions of Semantic Language Models. [Citation Graph (0, 0)][DBLP ] Conf ] Vanderlei Moraes Rodrigues , Flávio Rech Wagner A Logic to Specify and Verify Synchronous Transitions. [Citation Graph (0, 0)][DBLP ] Conf ] J. F. Miller Teaching and Learning Formal Methods, Improving Productivity. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Meudec Tests Derivation from Model Based Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Henry McLoughlin , Kevin Hely Some optimisation problems revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Helen Lowe , John Lowe The Role of Proof in a Formal Specification of the Speedway Rulebook. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Hitzler , Anthony Karel Seda Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] David Gray , Geoff Hamilton , David Sinclair , J. Paul Gibson , James F. Power Four Logics and a Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] William M. Farmer A Scheme for Defining Partial Higher-Order Functions by Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Droschl On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Bryans , John Derrick Stochastic Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Bickford , Jason Hickey Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] J. Artur Serrano Formal Specifications of Software Design Methods. [Citation Graph (0, 0)][DBLP ] Conf ] 