A proof system for concurrent ADA programs
DSpace/Manakin Repository
A proof system for concurrent ADA programs
Gerth, R.; Roever, W.P. de
(1984) Science of Computer Programming, volume 4, issue 2, pp. 159 - 204
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0167-6423
Publisher: Elsevier
See
more statistics
about this item