Combining interaction and automation in process algebra verification
Authors:
Albert Camilleri;Paola Inverardi;Monica Nesi
Affiliations:
-;-;-
Venue:
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2