| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer |
Formal Analysis of a Distributed Algorithm for Tracking Progress.  |
FMOODS/FORTE  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan |
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper). |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Passive Testing with Asynchronous Communications. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Flores-Montoya, Elvira Albert, Samir Genaim |
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber 0001, Joseph Sifakis, Fadi A. Zaraket |
An Abstract Framework for Deadlock Prevention in BIP. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski |
A Case Study in Formal Verification Using Multiple Explicit Heaps. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Domagoj Babic, Zvonimir Rakamaric |
Asynchronously Communicating Visibly Pushdown Systems. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ornela Dardha, Daniele Gorla, Daniele Varacca |
Semantic Subtyping for Objects and Classes. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay Thakkar, Aditya Kanade, Rajeev Alur |
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Stefano Calzavara, Alvise Spanò |
Lintent: Towards Security Type-Checking of Android Applications. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Griesmayer, Alessio Lomuscio |
Model Checking Distributed Systems against Temporal-Epistemic Specifications. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda 0001, Nobuko Yoshida |
Monitoring Networks through Multiparty Session Types. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Feo-Arenis, Bernd Westphal |
Parameterized Verification of Track Topology Aggregation Protocols. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Michele Boreale (eds.) |
Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino |
Honesty by Typing. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Luca Padovani, Andrea Tosatto |
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Isenberg 0002, Dominik Steenken, Heike Wehrheim |
Bounded Model Checking of Graph Transformation Systems via SMT Solving. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine |
Verification of Directed Acyclic Ad Hoc Networks. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes |
A Timed Component Algebra for Services. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres |
Input-Output Conformance Simulation (iocos) for Model Based Testing. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Flemming Nielson |
Probabilistic Analysis of the Quality Calculus. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Evrard, Frédéric Lang |
Formal Verification of Distributed Branching Multiway Synchronization Protocols. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis |
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Antonio Flores-Montoya, Samir Genaim |
Analysis of May-Happen-in-Parallel in Concurrent Objects. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
Verification of Ad Hoc Networks with Node and Communication Failures. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Jörg Desel |
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
Synchronous Interface Theories and Time Triggered Scheduling. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu, Maciej Koutny |
Behavioural Equivalences over Migrating Processes with Timers. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Romero-Hernández, David de Frutos-Escrig |
Defining Distances for All Process Semantics. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Milushev, Wim Beck, Dave Clarke 0001 |
Noninterference via Symbolic Execution. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha |
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor T. Johnson, Sayan Mitra |
A Small Model Theorem for Rectangular Hybrid Automata Networks. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
Secure Multi-Execution through Static Program Transformation. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Benac Earle, Lars-Åke Fredlund |
Verification of Timed Erlang Programs Using McErlang. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Grigore Rosu (eds.) |
Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Mahesh Viswanathan 0001 |
Conformance Testing of Boolean Programs with Multiple Faults. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Cerone, Matthew Hennessy |
Modelling Probabilistic Wireless Networks - (Extended Abstract). |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
A Reversible Abstract Machine and Its Space Overhead. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro |
Adaptable Processes (Extended Abstract). |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda 0001 |
On Asynchronous Session Semantics. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Jürgen Dingel (eds.) |
Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Doron A. Peled, Sophie Quinton |
Monitoring Distributed Systems Using Knowledge. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Rocco De Nicola |
Linear-Time and May-Testing in a Probabilistic Reactive Setting. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart |
Global State Estimates for Distributed Systems. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Giachino, Cosimo Laneve |
Analysis of Deadlocks in Object Groups. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Model-Checking Tool for Families of Services. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianxiang Lu, Stephan Merz, Christoph Weidenbach |
Towards Verification of the Pastry Protocol Using TLA + . |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson |
Galois Connections for Flow Algebras. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns |
Partial Order Methods for Statistical Model Checking and Simulation. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Braitling, Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám |
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Stéphane Grumbach, Jean-François Monin |
A Framework for Verifying Data-Centric Protocols. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Kouzapas, Anna Philippou |
A Process Calculus for Dynamic Networks. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Patrignani, Dave Clarke 0001, Davide Sangiorgi |
Ownership Types for the Join Calculus. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Vogels, Bart Jacobs 0002, Frank Piessens, Jan Smans |
Annotation Inference for Separation Logic Based Verifiers. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María Martos-Salgado, Fernando Rosa-Velardo |
Dynamic Soundness in Resource-Constrained Workflow Nets. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidar Slåtten, Peter Herrmann |
Contracts for Multi-instance UML Activities. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
On Global Types and Multi-party Sessions. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Timed Refinement. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Merz, Martin Quinson, Cristian Daniel Rosa |
SimGrid MC: Verification Support for a Multi-API Simulation Platform. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anduo Wang, Carolyn L. Talcott, Limin Jia 0001, Boon Thau Loo, Andre Scedrov |
Analyzing BGP Instances in Maude. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Séverine Fratani, Jean-Marc Talbot |
An Accurate Type System for Information Flow in Presence of Arrays. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay |
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Smans, Bart Jacobs 0002, Frank Piessens |
Heap-Dependent Expressions in Separation Logic. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Manuel Núñez 0001 |
Testing Probabilistic Distributed Systems. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino |
Logics for Contravariant Simulations. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongyuth Permpoontanalarp |
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
Forgetting the Time in Timed Process Algebra. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Pardo, Manuel Núñez 0001, M. Carmen Ruiz |
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Alexander Kraemer, Peter Herrmann |
Reactive Semantics for Distributed UML Activities. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Artur Boronat, José Meseguer 0001 |
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Javier Crespo, Alberto de la Encina, Luis Llana |
Fuzzy-Timed Automata. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001 |
Static Type Analysis of Pattern Matching by Abstract Interpretation. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Emilio Tuosto |
Testing Attribute-Based Transactions in SOC. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Posse, Jürgen Dingel |
Theory and Implementation of a Real-Time Extension to the pi-Calculus. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
Model Checking of Hybrid Systems Using Shallow Synchronization. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Bokor, Marco Serafini, Neeraj Suri |
On Efficient Models for Model Checking Message-Passing Distributed Protocols. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
Formal Software Verification: How Close Are We? |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Elena Zucca (eds.) |
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz 0001, Ismael Rodríguez |
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Typing Component-Based Communication Systems. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler |
Verification of Parameterized Systems with Combinations of Abstract Domains. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe |
System Model-Based Definition of Modeling Language Semantics. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Liu 0003, Jonathan Billington |
Recursive Parametric Automata and epsilon-Removal. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated Context-Sensitive Analysis for Parameterized Verification. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Calin Juravle |
A Software Platform for Timed Mobility and Timed Interaction. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Stéphanie Delaune, Steve Kremer |
Epistemic Logic for the Applied Pi Calculus. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi |
A Model-Checking Approach for Service Component Architectures. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Eduardo Zambon |
A Type Graph Model for Java Programs. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère |
Modeling, Validation, and Verification of PCEP Using the IF Language. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
The Orc Programming Language. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution of Distributed Concurrent Objects. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lee 0001, Antónia Lopes, Arnd Poetzsch-Heffter (eds.) |
Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini |
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Abdessamad Imine |
On Model-Checking Optimistic Replication Algorithms. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Kühnrich, Uwe Nestmann |
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang |
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor von Bochmann |
Using First-Order Logic to Reason about Submodule Construction. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license