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.
Nipkow, Tobias
1989.
Term rewriting and beyond — theorem proving in Isabelle.
Formal Aspects of Computing,
Vol. 1,
Issue. 1,
p.
320.
Thompson, Simon
1989.
A logic for Miranda.
Formal Aspects of Computing,
Vol. 1,
Issue. 1,
p.
339.
Franklin, M.K.
and
Gabrielian, A.
1989.
A transformational method for verifying safety properties in real-time systems.
p.
112.
Paulson, Lawrence C.
1989.
The foundation of a generic theorem prover.
Journal of Automated Reasoning,
Vol. 5,
Issue. 3,
p.
363.
Goguen, Joseph A.
1989.
Current Trends in Hardware Verification and Automated Theorem Proving.
p.
219.
Melham, Thomas F.
1989.
Current Trends in Hardware Verification and Automated Theorem Proving.
p.
341.
Joyce, Jeffrey J.
1990.
Specification and Verification of Concurrent Systems.
p.
384.
Crole, R.L.
and
Pitts, A.M.
1990.
New foundations for fixpoint computations.
p.
489.
Paulson, Lawrence C.
1990.
COLOG-88.
Vol. 417,
Issue. ,
p.
246.
Heisel, M.
Reif, W.
and
Stephan, W.
1990.
10th International Conference on Automated Deduction.
Vol. 449,
Issue. ,
p.
117.
Droste, Manfred
and
Göbel, Rüdiger
1990.
CSL '89.
Vol. 440,
Issue. ,
p.
116.
Nipkow, Tobias
1990.
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness.
Vol. 430,
Issue. ,
p.
561.
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.
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.
Smith, Scott F.
1992.
Mathematical Foundations of Programming Semantics.
Vol. 598,
Issue. ,
p.
54.