The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "John Derrick" ( http://dblp.L3S.de/Authors/John_Derrick )

  Author page on DBLP  Author page in RDF  Community of John Derrick in ASPL-2

Publication years (Num. hits)
1968-1997 (18) 1998-2000 (26) 2001-2003 (23) 2004-2006 (16) 2007-2009 (22) 2010-2012 (21) 2013-2014 (20) 2015-2016 (15) 2017-2019 (12)
Publication types (Num. hits)
article(73) book(1) incollection(2) inproceedings(89) proceedings(8)
Venues (Conferences, Journals, ...)
Formal Asp. Comput.(15) Electr. Notes Theor. Comput. S...(12) IFM(10) CoRR(7) Sci. Comput. Program.(7) ICFEM(6) ZB(6) FM(5) FMOODS(5) FORTE(5) Erlang Workshop(4) Refine@FM(4) AMAST(3) FME(3) ICTSS(3) SEFM(3) More (+10 of total 70)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 88 occurrences of 44 keywords

Results
Found 174 publication records. Showing 173 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick Verifying C11 programs operationally. Search on Bibsonomy PPoPP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick Incorporating Data into EFSM Inference. Search on Bibsonomy SEFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick Verifying C11 Programs Operationally. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1John Derrick, Brijesh Dongol, Steve Reeves (eds.) Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. Search on Bibsonomy Refine@FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim Causal Linearizability: Compositionality for Partially Ordered Executions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim Mechanized proofs of opacity: a comparison of two techniques. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Foster 0001, Ramsay G. Taylor, Achim D. Brucker, John Derrick Formalising Extended Finite State Machine Transition Merging. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick Brief Announcement: Generalising Concurrent Correctness to Weak Memory. Search on Bibsonomy DISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick Making Linearizability Compositional for Partially Ordered Executions. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kirsten Winter, Graeme Smith, John Derrick Observational Models for Linearizability Checking on Weak Memory Models. Search on Bibsonomy TASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol A Proof Method for Linearizability on TSO Architectures. Search on Bibsonomy Provably Correct Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith An Observational Approach to Defining Linearizability on Weak Memory Models. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Neil Walkinshaw, Ramsay Taylor, John Derrick Inferring extended finite state machine models from software executions. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten, Steve Reeves (eds.) Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. Search on Bibsonomy Refine@FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon Doherty, John Derrick Causal Linearizability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1John Derrick, Eerke A. Boiten Relational Concurrent Refinement - Partial and Total Frameworks. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick Choreography-Based Analysis of Distributed Message Passing Programs. Search on Bibsonomy PDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Smith, John Derrick Invariant generation for linearizability proofs. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim Proving Opacity of a Pessimistic STM. Search on Bibsonomy OPODIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon Doherty, John Derrick Linearizability and Causality. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Verifying Linearisability: A Comparative Survey. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramsay Taylor, John Derrick mu2: A Refactoring-Based Mutation Testing Framework for Erlang. Search on Bibsonomy ICTSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith A Framework for Correctness Criteria on Weak Memory Models. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim Verifying Opacity of a Transactional Mutex Lock. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. Search on Bibsonomy ECOOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ramsay Taylor, John Derrick Smother: an MC/DC analysis tool for Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, John Derrick, Heike Wehrheim A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Verifying linearizability: A comparative survey. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Brijesh Dongol, Ian J. Hayes, John Derrick Deriving real-time action systems with multiple time bands using algebraic reasoning. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Steve Reeves Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Relational concurrent refinement part III: traces, partial relations and automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). Search on Bibsonomy 2014   DOI  RDF
1Brijesh Dongol, John Derrick, Graeme Smith Reasoning Algebraically About Refinement on TSO Architectures. Search on Bibsonomy ICTAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim Quiescent Consistency: Defining and Verifying Relaxed Linearizability. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith, Brijesh Dongol Verifying Linearizability on TSO Architectures. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Smith, John Derrick, Brijesh Dongol Admit Your Weakness: Verifying Correctness on TSO Architectures. Search on Bibsonomy FACS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov 0002, John Derrick Synapse: automatic behaviour inference and implementation comparison for Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick From ODP viewpoint consistency to Integrated Formal Methods. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Simplifying proofs of linearisability using layers of abstraction. Search on Bibsonomy ECEASST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Data refinement for true concurrency Search on Bibsonomy Refine@IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Simplifying proofs of linearisability using layers of abstraction. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1John Derrick, Eerke A. Boiten, Steve Reeves (eds.) Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. Search on Bibsonomy Refine@IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim A High-Level Semantics for Program Execution under Total Store Order Memory. Search on Bibsonomy ICTAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Neil Walkinshaw, Ramsay Taylor, John Derrick Inferring Extended Finite State Machine models from software executions. Search on Bibsonomy WCRE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ramsay Taylor, Kirill Bogdanov 0002, John Derrick Automatic Inference of Erlang Module Behaviour. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick, Ian J. Hayes Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. Search on Bibsonomy ECEASST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, John Derrick Proving linearisability via coarse-grained abstraction Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1John Derrick, Graeme Smith Temporal-logic property preservation under Z refinement. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Heike Wehrheim, John Derrick How to Prove Algorithms Linearisable. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ramsay Taylor, Mathew Hall, Kirill Bogdanov 0002, John Derrick Using Behaviour Inference to Optimise Regression Test Sets. Search on Bibsonomy ICTSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.) Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings Search on Bibsonomy ABZ The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.) Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings Search on Bibsonomy IFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Qiang Guo 0001, John Derrick Formally based tool support for model checking Erlang applications. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Siobhán North, Anthony J. H. Simons Building a refinement checker for Z Search on Bibsonomy Refine@FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten, Steve Reeves (eds.) Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. Search on Bibsonomy Refine@FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Gerhard Schellhorn Selected papers of the Refinement Workshop Turku (2008). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Siobhán North, Anthony J. H. Simons Z2SAL: a translation-based model checker for Z. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Gerhard Schellhorn, Heike Wehrheim Mechanically verified proof obligations for linearizability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Gerhard Schellhorn, Heike Wehrheim Verifying Linearisability with Potential Linearisation Points. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Relational Concurrent Refinement: Timed Refinement. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick Incompleteness of relational simulations in the blocking paradigm. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John Derrick, Heike Wehrheim Model transformations across views. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Neil Walkinshaw, Kirill Bogdanov 0002, John Derrick, Javier Paris Increasing Functional Coverage by Inductive Testing: A Case Study. Search on Bibsonomy ICTSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Qiang Guo 0001, John Derrick, Clara Benac Earle, Lars-Åke Fredlund Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. Search on Bibsonomy TAIC PART The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Relational Concurrent Refinement: Automata. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Steve Reeves Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert M. Hierons, Kirill Bogdanov 0002, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan Using formal specifications to support testing. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, Software testing
1Eerke A. Boiten, John Derrick, Gerhard Schellhorn Relational concurrent refinement part II: Internal operations and outputs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
1Qiang Guo 0001, John Derrick, Neil Walkinshaw Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF FBT, Structural Coverage, Testing, Transformation, Erlang
1Neil Walkinshaw, John Derrick, Qiang Guo 0001 Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reverse engineering, model-based testing, Erlang
1John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson Property-Based Testing - The ProTest Project. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Neil Walkinshaw, John Derrick Incrementally Discovering Testable Specifications from Program Executions. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick Modelling Divergence in Relational Concurrent Refinement. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
1John Derrick, Eerke A. Boiten More Relational Concurrent Refinement: Traces and Partial Relations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Gerhard Schellhorn Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith Using Model Checking to Automatically Find Retrieve Relations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Graeme Smith Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John Derrick, Siobhán North, Anthony J. H. Simons Z2SAL - Building a Model Checker for Z. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, Z, SAL
1John Derrick, Gerhard Schellhorn, Heike Wehrheim Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
1Qiang Guo 0001, John Derrick, Csaba Hoch Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
1John Derrick, Eerke A. Boiten Relational Concurrent Refinement with Internal Operations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1John Derrick, Heike Wehrheim On using data abstractions for model checking refinements. Search on Bibsonomy Acta Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1John Derrick, Gerhard Schellhorn, Heike Wehrheim Proving Linearizability Via Non-atomic Refinement. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF refinement, CSP, Object-Z, linearizability, concurrent access
1John Derrick, Jüri Vain (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Qiang Guo 0001, John Derrick Verification of timed Erlang/OTP components using the process algebra mucrl. Search on Bibsonomy Erlang Workshop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OTP, process algebra ?CRL, timeout events, verification, erlang
1Graeme Smith, John Derrick Verifying data refinements using a model checker. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
1John Derrick, Mark Harman, Robert M. Hierons Guest Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Derrick, Siobhán North, Tony Simons 0001 Issues in Implementing a Model Checker for Z. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model-checking, Z, SAL
1John Derrick, Heike Wehrheim Model Transformations Incorporating Multiple Views. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard Banach, John Derrick Filtering Retrenchments into Refinements. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Graeme Smith, John Derrick Model Checking Downward Simulations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tommaso Bolognesi, John Derrick Introduction. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Graeme Smith Guest Editorial Integrated Formal Methods. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John Derrick, Heike Wehrheim Non-atomic Refinement in Z and CSP. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 173 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license