Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Paulson, Lawrence C
1988.
9th International Conference on Automated Deduction.
Vol. 310,
Issue. ,
p.
772.
Cohn, Avra
1988.
VLSI Specification, Verification and Synthesis.
Vol. 35,
Issue. ,
p.
27.
Gordon, Michael J. C.
1988.
VLSI Specification, Verification and Synthesis.
Vol. 35,
Issue. ,
p.
73.
Melham, Thomas F.
1989.
Current Trends in Hardware Verification and Automated Theorem Proving.
p.
341.
Thompson, Simon
1989.
A logic for Miranda.
Formal Aspects of Computing,
Vol. 1,
Issue. 1,
p.
339.
Goguen, Joseph A.
1989.
Current Trends in Hardware Verification and Automated Theorem Proving.
p.
219.
Paulson, Lawrence C.
1989.
The foundation of a generic theorem prover.
Journal of Automated Reasoning,
Vol. 5,
Issue. 3,
p.
363.
Franklin, M.K.
and
Gabrielian, A.
1989.
A transformational method for verifying safety properties in real-time systems.
p.
112.
Nipkow, Tobias
1989.
Term rewriting and beyond — theorem proving in Isabelle.
Formal Aspects of Computing,
Vol. 1,
Issue. 1,
p.
320.
Joyce, Jeffrey J.
1990.
Specification and Verification of Concurrent Systems.
p.
384.
Heisel, M.
Reif, W.
and
Stephan, W.
1990.
10th International Conference on Automated Deduction.
Vol. 449,
Issue. ,
p.
117.
Crole, R.L.
and
Pitts, A.M.
1990.
New foundations for fixpoint computations.
p.
489.
Garland, S.J.
Guttag, J.V.
and
Horning, J.J.
1990.
Debugging Larch shared language specifications.
IEEE Transactions on Software Engineering,
Vol. 16,
Issue. 9,
p.
1044.
Paulson, Lawrence C.
1990.
COLOG-88.
Vol. 417,
Issue. ,
p.
246.
Nipkow, Tobias
1990.
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness.
Vol. 430,
Issue. ,
p.
561.
Droste, Manfred
and
Göbel, Rüdiger
1990.
CSL '89.
Vol. 440,
Issue. ,
p.
116.
Gordon, M.
1991.
Introduction To The Hol System.
p.
2.
Sannella, Donald
and
Tarlecki, Andrzej
1991.
Recent Trends in Data Type Specification.
Vol. 534,
Issue. ,
p.
297.
Camilleri, Albert
Inverardi, Paola
and
Nesi, Monica
1991.
TAPSOFT '91.
Vol. 494,
Issue. ,
p.
283.
Despeyroux, Joëlle
1992.
Theo: An interactive proof development system.
BIT,
Vol. 32,
Issue. 1,
p.
15.