Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985 (Association for Computing Machinery, 1985)
περιέχει βιβλιογραφία