Conferences in DBLP
David Gries Equational Logic as a Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette M. Wing Teaching Mathematics to Software Engineers. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Ralston , Susan L. Gerhart , Dan Craigen The Role of Education and Trainig in the Industrial Application of Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Ewa Orlowska Information Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt , Ingrid Luitjes Verification of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Razvan Diaconescu An Introduction to Category-based Equational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Rohit Parikh Knowledge Based Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Anne Elisabeth Haxthausen Order-sorted Algebraic Specifications with Higher-order Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Rolf Hennicker Proving the Correctness of Behavioural Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Dam On the Decidability of Process Equivalences for the pi-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Oriat Detecting Isomorphisms of Modular Specifications with Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Prehofer Higher-Order Narrowing with Convergent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Badouel , Philippe Darondeau , Jean-Claude Raoult Context-Free Event Domains are Recognizable. [Citation Graph (0, 0)][DBLP ] Conf ] Delphine Terrasse Encoding Natural Semantics in Coq. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Jacobs Mongruences and Cofree Coalgebras. [Citation Graph (0, 0)][DBLP ] Conf ] María Victoria Cengarle Semantic Typing for Parametric Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Lalita Jategaonkar Jagadeesan , Radha Jagadeesan Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Zohar Manna Verification in Continuous Time by Discrete Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Ugo Montanari Dynamic Matrices and the Cost Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Allan Cheng Petri Nets, Traces, and Local Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth I. Leonard , Amy E. Zwarico An Algebraic Framework for Developing and Maintaining Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Collette , Edgar Knapp Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Fabio Gadducci CPO Models for Infinite Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Montanari , Maarten de Rijke Completeness Results for Two-sorted Metric Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Naima Brown , Abdelillah Mokkedem On Mechanizing Proofs within a Complete Proof System for Unity . [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Mahadevan Subramaniam Automated Reasoning About Parallel Algorithms Using Powerlists. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Dold Representing, Verifying and Applying Software Development Steps using the PVS System. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gogolla , Rudolf Herzig An Algebraic Development Technique for Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bumbulis , Paulo S. C. Alencar , Donald D. Cowan , Carlos José Pereira de Lucena A Framework for Machine-Assisted User Interface Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Maritta Heisel Specification of the Unix File System: A Comparative Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinao Isobe , Yutaka Sato , Kazuhito Ohmaki A Calculus of Countable Broadcasting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Bergeron Symbolic Timing Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Bagai , Rajshekhar Sunderraman An Algebraic Construction of the Well-Founded Model. [Citation Graph (0, 0)][DBLP ] Conf ] Moreno Falaschi , Maurizio Gabbrielli , Kim Marriott , Catuscia Palamidessi Confluence in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] P. Rajagopalan , C. P. Tsang A Generic Algebra for Data Collections Based on Constructive Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bharat Jayaraman , Mauricio Osorio , Kyonghee Moon Partial Order Programming (Revisited) . [Citation Graph (0, 0)][DBLP ] Conf ] Adel Bouhoula , Michaël Rusinowitch SPIKE: A System for Automatic Inductive Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Jutta Eusterbrock SEAMLESS: Knowledge Based Evolutionary System Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan M. Jamil , Laks V. S. Lakshmanan An Object-Oriented Front-end for Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Bharat Jayaraman , Kyonghee Moon The SuRE Programming Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Laks V. S. Lakshmanan , Iyer N. Subramanian , Despina Papoulis , Nematollaah Shiri A Declarative System for Multi-database Interoperability. [Citation Graph (0, 0)][DBLP ] Conf ] Houari A. Sahraoui The METAGEN System. [Citation Graph (0, 0)][DBLP ] Conf ] 