ICSE '79 Proceedings of the 4th international conference on Software engineering
Timing analysis of cyclic concurrent programs
ICSE '89 Proceedings of the 11th international conference on Software engineering
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
A new program structure to improve accuracy and readability of pascal software
ICSE '84 Proceedings of the 7th international conference on Software engineering
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Hi-index | 0.00 |