A collection of software tools for analyzing designs of concurrent software systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
Finite semantics: A technique for program testing
ICSE '79 Proceedings of the 4th international conference on Software engineering
Finite state modelling in program development
Proceedings of the international conference on Reliable software
Design feedback and its use in software design aid systems
Proceedings of the software quality assurance workshop on Functional and performance issues
Modeling and projection in software development
Journal of Systems and Software
Hi-index | 0.00 |