|
Gianluigi Bellin |
"A Term Assignment for Dual Intuitionistic Logic" in Mathematical Structures in Computer Science, 2005.
[BIBTEX] |
| Gianluigi Bellin, Corrado Biasi |
"Towards a Logic for Pragmatics: Assertions and Conjectures", Journal of Logic and Computation vol.14, no. 4, pp. 473-506,2004.
[BIBTEX] |
|
Richard Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey & Ursula Martin
|
"Design Verification for Control Engineering", Integrated Formal Methods, 4th International Conference,
IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings vol. 2999, pp. 21-35, 2004.
[BIBTEX]
|
| Stephen Brookes |
"A semantics for Concurrent Separation Logic" in Proceedings of the 15th International Conference on Concurrency Theory, vol. 3170, pp 16-34, 2004, Springer-Verlag.
[BIBTEX] |
| Paul Curzon, Sofiene Tahar, R.Mizouni |
"A Hybrid Tool Integrating HOL Theorem Proving with MDG Model Checking."
[BIBTEX] |
|
Hanne Gottliebsen, Tom Kelsey & Ursula Martin |
"Hidden verification for computational mathematics", Journal of Symbolic Computation vol. 39, no. 5, pp. 539-567, May 2005.
[BIBTEX] |
Steve Linton, G. Pfeiffer,E.F. Robertson, N. Ruskuc |
"Computing Transformation Semigroups", Journal of Symbolic Computation 33, pp 145-162, 2002.
[BIBTEX] |
| Steve Linton, R. Sebastiani |
"Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems", Journal of Symbolic Computation, 2002.
[BIBTEX] |
| Ursula Martin, Roy Dyckhoff |
"Logic Structures for Control". Grant: EPSRC GR/S31242/01, 2004.
[BIBTEX] |
| Ivana Mijajlovic, Hongseok Yang |
"Data Refinement with Low-Level Pointer Operations" in APLAS 2005.
[BIBTEX] |
| Peter W. O'Hearn |
| "Resources, Concurrency and Local Reasoning" in Theoretical Computer Science, March 2005, Elsevier.
[BIBTEX] |
| M. Zaki, S. Tahar, and G. Bois |
"On the Formal Analysis of Analog Systems using Interval Abstraction" in Proceedings of NETCA Workshop on Verification and Theorem Proving for Continuous Systems, Oxford, UK, August 2005.
[BIBTEX] |
|
