Facet browsing currently unavailable
Page 1 of 1117 results
Sort by: relevance publication year
Institution Morphisms JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing |
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics JOURNAL ARTICLE published September 2013 in Formal Aspects of Computing |
Reasoning about goal-directed real-time teleo-reactive programs JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing |
John McCarthy (1927–2011) JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing |
Analysing neurobiological models using communicating automata JOURNAL ARTICLE published November 2014 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing |
Abstractions of non-interference security: probabilistic versus possibilistic JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing |
Refinement concepts formalised in higher order logic JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
A single complete rule for data refinement JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing |
Review on Theories of Programming: The Life and Works of Tony Hoare JOURNAL ARTICLE published 31 December 2022 in Formal Aspects of Computing |
Refinement algebra for probabilistic programs JOURNAL ARTICLE published January 2010 in Formal Aspects of Computing |
Verification of distributed systems with local–global predicates JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing |
Retrenchment for Event-B: UseCase-wise development and Rodin integration JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing |
Program morphisms JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing |
Refinement for user interface designs JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing |
An algebraic characterisation of elementary net system (observable) state space JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing |
The RISC ProofNavigator: a proving assistant for program verification in the classroom JOURNAL ARTICLE published May 2009 in Formal Aspects of Computing |
Minimal refinements of specifications in modal and temporal logics JOURNAL ARTICLE published November 2007 in Formal Aspects of Computing |
Unifying theories in ProofPower-Z JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing |
Essential concepts of algebraic specification and program development JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing |