Content-type: text/html
Title
Verifying garbage-collection algorithms using the PVS theorem prover.
generated from SQL Database
Affiliated to: lfcs
Email: pbj
Members
Former Members
Rod Burstall
Hilf Goguen
Paul Jackson
Research Interests
Verifying garbage-collection algorithms using the PVS theorem prover.
Comments to page maintainer: rb