Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gilles Bernot, Sophie Coudert, Pascale Le Gall |
Towards Heterogeneous Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 458-472, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anne Elisabeth Haxthausen, Friederike Nickl |
Pushouts of Order-Sorted Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 132-147, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Mila E. Majster-Cederbaum |
A Categorical Characterization of Consistency Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 473-486, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale |
Symbolic Bisimulation for Timed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 321-335, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: A System Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 599, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri |
A Study on the Specification and Verification of Performance Properties (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 306-320, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan |
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 271-285, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Janet Bertot, Yves Bertot |
CtCoq: A System Presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 600-603, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | M. R. K. Krishna Rao |
Some Characteristics of Strong Innermost Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 406-420, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski |
Finite Axiom Systems for Testing Preorder and De Simone Process Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 210-224, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Douglas R. Smith |
Toward a Classification Approach to Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 62-84, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki |
Approximative Analysis by Process Algebra with Graded Spatial Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 336-350, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | André Arnold, Didier Bégay, Jean-Pierre Radoux |
The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 19-32, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
The FC2TOOLS Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 595-598, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Melzer, Stefan Römer, Javier Esparza |
Verification Using PEP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 591-594, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 520-535, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Schulte, Thilo Schwinn, Ton Vullinghs |
TkGofer: A Functional GUI Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 621-624, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eric C. R. Hehner |
Boolean Formalism and Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 351-374, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Maurice Nivat (eds.) |
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![Springer, 3-540-61463-X The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Berry |
Constructive Semantics of Esterel: From Theory to Practice (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 225, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John S. Fitzgerald |
Two Industrial Trials of Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 1-8, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Gavilanes, Javier Leach, Susana Nieva |
Free Variable Tableaux for a Many Sorted Logic with Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 102-116, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ranan Fraer |
Tracing the Origins of Verification Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 241-255, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Richard Buckland, Michael Johnson |
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 587-590, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Mahadevan Subramaniam |
Automating Induction over Mutually Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 117-131, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Christoph Schmitz 0002 |
Object-Oriented Implementation of Abstract Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 163-179, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dino Mandrioli |
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 33-42, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen |
Industrial Applications of ASF+SDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 9-18, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert Geisler, Marcus Klar, Felix Cornelius |
InterACT: An Interactive Theorem Prover for Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 563-566, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Paech |
Algebraic View Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 444-457, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Voisin |
A New Proof-Manager and Graphic Interface for the Larch Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 567-570, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter |
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 583-586, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankar |
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 52-61, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Rachid Echahed, Kamel Adi |
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 629-632, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Paul Klint, Pieter A. Olivier |
The TOOLBUS Coordination Architecture - A Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 575-578, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, Paul Klint |
The Discrete Time TOOLBUS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 286-305, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir |
An Equational Axiomatization of Observation Congruence for Prefix Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 195-209, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Christine Choppy, Frédéric Voisin |
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 555-558, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink |
On the Completeness of the Euations for the Kleene Star in Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 180-194, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Douglas J. Howe |
Semantic Foundations for Embedding HOL in Nuprl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 85-101, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki |
TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 571-574, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Marchiori |
Proving Existential Termination of Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings, pp. 375-390, 1996, Springer, 3-540-61463-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman, Kyonghee Moon |
The SuRE Programming Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 585, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bergeron |
Symbolic Timing Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 504-517, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Orlowska |
Information Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 50-65, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hasan M. Jamil, Laks V. S. Lakshmanan |
An Object-Oriented Front-end for Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 581-584, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Naima Brown, Abdelillah Mokkedem |
On Mechanizing Proofs within a Complete Proof System for Unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 400-415, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mads Dam |
On the Decidability of Process Equivalences for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 169-183, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Oriat |
Detecting Isomorphisms of Modular Specifications with Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 184-198, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Teaching Mathematics to Software Engineers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 18-40, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Mahadevan Subramaniam |
Automated Reasoning About Parallel Algorithms Using Powerlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 416-430, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anne Elisabeth Haxthausen |
Order-sorted Algebraic Specifications with Higher-order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 133-151, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro, Zohar Manna |
Verification in Continuous Time by Discrete Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 292-306, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Razvan Diaconescu |
An Introduction to Category-based Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 91-126, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vangalur S. Alagar, Maurice Nivat (eds.) |
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![Springer, 3-540-60043-4 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel |
Specification of the Unix File System: A Comparative Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 475-488, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
Confluence in Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 531-545, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Gries |
Equational Logic as a Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 1-17, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth I. Leonard, Amy E. Zwarico |
An Algebraic Framework for Developing and Maintaining Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 338-352, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lalita Jategaonkar Jagadeesan, Radha Jagadeesan |
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 277-291, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Éric Badouel, Philippe Darondeau, Jean-Claude Raoult |
Context-Free Event Domains are Recognizable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 214-229, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Fabio Gadducci |
CPO Models for Infinite Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 368-384, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Mongruences and Cofree Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 245-260, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | María Victoria Cengarle |
Semantic Typing for Parametric Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 261-276, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Proving the Correctness of Behavioural Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 152-168, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Axel Dold |
Representing, Verifying and Applying Software Development Steps using the PVS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 431-445, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Houari A. Sahraoui |
The METAGEN System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 590-591, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Ingrid Luitjes |
Verification of Logic Programs with Delay Declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 66-90, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman, Mauricio Osorio 0001, Kyonghee Moon |
Partial Order Programming (Revisited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 561-575, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
Knowledge Based Computation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 127-132, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Framework for Machine-Assisted User Interface Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 461-474, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Montanari, Maarten de Rijke |
Completeness Results for Two-sorted Metric Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 385-399, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
Higher-Order Narrowing with Convergent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 199-213, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | P. Rajagopalan, Chi Ping Tsang |
A Generic Algebra for Data Collections Based on Constructive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 546-560, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Bagai, Rajshekhar Sunderraman |
An Algebraic Construction of the Well-Founded Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 518-530, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki |
A Calculus of Countable Broadcasting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 489-503, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Allan Cheng |
Petri Nets, Traces, and Local Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 322-337, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Laks V. S. Lakshmanan, Iyer N. Subramanian, Despina Papoulis, Nematollaah Shiri |
A Declarative System for Multi-database Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 586-589, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Ugo Montanari |
Dynamic Matrices and the Cost Analysis of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 307-321, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Terrasse |
Encoding Natural Semantics in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 230-244, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ted Ralston, Susan L. Gerhart, Dan Craigen |
The Role of Education and Trainig in the Industrial Application of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 41-49, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Adel Bouhoula, Michaël Rusinowitch |
SPIKE: A System for Automatic Inductive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 576-577, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jutta Eusterbrock |
SEAMLESS: Knowledge Based Evolutionary System Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 578-580, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Collette, Edgar Knapp |
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 353-367, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Rudolf Herzig |
An Algebraic Development Technique for Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 446-460, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.) |
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![Springer, 3-540-19852-0 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Xue-Miao Lu, Tharam S. Dillon |
Towards an Algebraic Theory of Inheritance in Project Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 349-358, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters |
A Notion of Refinement for Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 325-332, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Don Pigozzi, Antonino Salibra |
Dimension-Complemented Lambda Abstraction Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 129-136, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Rob J. van Glabbeek |
Full Abstraction in Structural Operational Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 75-82, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Maura Cerioli, Gianna Reggio |
Algebraic-Oriented Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 201-208, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla, Ingo Claßen |
An Object-Oriented Design for the ACT ONE Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 359-366, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | George Loegel, Chinya V. Ravishankar |
An Algebraic Approach to Modeling in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 385-392, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Till Mossakowski |
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 137-144, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Steve A. Schneider |
Rigorous Specification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 59-74, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Peter Thiemann 0001 |
An Overview of the SODA System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 185-192, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | David de Frutos-Escrig |
A Characterization of LOTOS Representable Networks of Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 281-288, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen |
Translation Results for Modal Logics of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 297-306, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Martin Erwig |
Specifying Type Systems with Multi-Level Order-Sorted Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 177-184, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dominique Bolignano, Mourad Debbabi |
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 153-162, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|