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.
Paulson, Lawrence C.
1989.
The foundation of a generic theorem prover.
Journal of Automated Reasoning,
Vol. 5,
Issue. 3,
p.
363.
Nipkow, Tobias
1989.
Term rewriting and beyond — theorem proving in Isabelle.
Formal Aspects of Computing,
Vol. 1,
Issue. 1,
p.
320.
Franklin, M.K.
and
Gabrielian, A.
1989.
A transformational method for verifying safety properties in real-time systems.
p.
112.
Melham, Thomas F.
1989.
Current Trends in Hardware Verification and Automated Theorem Proving.
p.
341.
Goguen, Joseph A.
1989.
Current Trends in Hardware Verification and Automated Theorem Proving.
p.
219.
Thompson, Simon
1989.
A logic for Miranda.
Formal Aspects of Computing,
Vol. 1,
Issue. 1,
p.
339.
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.
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.
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.
Joyce, Jeffrey J.
1990.
Specification and Verification of Concurrent Systems.
p.
384.
Sannella, Donald
and
Tarlecki, Andrzej
1991.
Recent Trends in Data Type Specification.
Vol. 534,
Issue. ,
p.
297.
Gordon, M.
1991.
Introduction To The Hol System.
p.
2.
Camilleri, Albert
Inverardi, Paola
and
Nesi, Monica
1991.
TAPSOFT '91.
Vol. 494,
Issue. ,
p.
283.
Grundy, Jim
1992.
5th Refinement Workshop.
p.
230.