Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Gypsy
Home
Publications
Gypsy
Gypsy
AA
Allen L. Ambler
Allen L. Ambler
DG
Donald I. Good
Donald I. Good
JB
James C. Browne
James C. Browne
WB
Wilhelm F. Burger
Wilhelm F. Burger
RC
Richard M. Cohen
Richard M. Cohen
CH
Charles G. Hoch
Charles G. Hoch
RW
Robert E. Wells
Robert E. Wells
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1977
conference paper
Published by
Association for Computing Machinery (ACM)
Vol. 12
(3)
,
1-10
https://doi.org/10.1145/800022.808306
Abstract
No abstract available
Keywords
COMMUNICATIONS PROCESSING
CONCURRENCY
FORMAL SPECIFICATION
PROGRAM PROOF
PROGRAMMING LANGUAGE
RUN TIME VALIDATION
SPECIFICATION LANGUAGE
SYSTEMS PROGRAMMING
VERIFICATION
Cited by 40 articles