An algebraic data type specification language and its rapid prototyping environment
ICSE '89 Proceedings of the 11th international conference on Software engineering
Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
Simulating the behaviour of software modules by trace rewriting
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Hi-index | 0.00 |