|
237
|
Refinement Calculus, A Systematic Introduction
– R J R Back, J von Wright
- 1998
|
|
458
|
Programming from Specifications
– C Morgan
- 1994
|
|
1312
|
A Discipline of Programming
– Edsger Dijkstra
- 1976
|
|
5
|
A Program Refinement Tool. Formal Aspects of Computing 10
– David A Carrington, Ian J Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
- 1998
|
|
9
|
Program Development Schemata as Derived Rules
– Penny Anderson, David Basin
- 2000
|
|
96
|
Trace Refinement of Action Systems
– R. J. R. Back, J. von Wright
- 1994
|
|
10
|
Separating Timing and Calculation in Real-Time Refinement
– Ian Hayes, Ian Hayes
- 1998
|
|
36
|
Laws of data refinement
– J Morris
- 1989
|
|
55
|
Superposition refinement of parallel algorithms
– Back RJR, K Sere
- 1992
|
|
647
|
The B-book: assigning programs to meanings
– J-R Abrial
- 1996
|
|
340
|
Interactive theorem proving and program development. Coq’Art: The calculus of inductive constructions
– Y Bertot, P Castéran
- 2004
|
|
2
|
Mechanising procedures in HOL. Abo Akademi
– L Laibinis
- 1999
|
|
2
|
What If
– M Schwenke, K Robinson
- 1992
|
|
3
|
Expression Refinement in Higher Order Logic
– B Mahony
- 1998
|
|
10
|
Non-deterministic Expressions and Predicate Transformers
– Joseph Morris
- 1997
|
|
12
|
A Proof Tool for Reasoning about Functional Programs
– Graham Collins
- 1996
|
|
14
|
Function definition in higher-order logic
– Konrad Slind
- 1996
|
|
18
|
Combining Computational Effects: Commutativity and Sum
– Martin Hyland, Gordon Plotkin, John Power
- 2002
|
|
4
|
Formal Software Development in the Verification Support Environment (VSE)
– Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
- 2000
|
