Automated Software Engineering

Journal Details

Publisher: Kluwer Academic Publishers

Articles

Publications included in this journal

Campos, J. C., Harrison, Michael D. (2001): Model checking interactor specifications. In Automated Software Engineering, 8 (3) pp. 275-310.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,077+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
0
days
16
hrs
23
mins
33
secs

Free forever. No spam. Unsubscribe anytime.