Automated Software Engineering

Publisher
Kluwer Academic Publishers
Website
Periodicity

Description

Articles

Campos, J. C., Harrison, Michael D. (2001): Model checking interactor specifications. In Automated Software Engineering, 8 (3) pp. 275-310.