## Joakim von Wright, Thomas Långbacka

*Using a Theorem Prover for Reasoning about Concurrent Algorithms*

CAV, 1992.

@inproceedings{CAV-1992-WrightL, author = "Joakim von Wright and Thomas Långbacka", booktitle = "{Proceedings of the Fourth International Workshop on Computer Aided Verification}", doi = "10.1007/3-540-56496-9_6", isbn = "3-540-56496-9", pages = "56--68", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Using a Theorem Prover for Reasoning about Concurrent Algorithms}", volume = 663, year = 1992, }