Automated Software Engineering
Articles
Campos,
J. C.,
Harrison,
Michael D.
(2001):
Model checking interactor specifications.
In
Automated Software Engineering,
8
(3)
pp. 275-310.
Join more than 66,000 designers who get our latest articles in their inbox
- Latest articles about UX design
- Practical tips and best practices
- Get a free ebook: The Basics of UX Design
×
