ACM SIGPLAN Notices
The data flow programming language CAJOLE - an informal introduction
ACM SIGPLAN Notices
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |