Dwyer, Matthew, 1963-....
Dwyer, Matthew
Matthew B. Dwyer American software engineer
VIAF ID: 85195059 ( Personal )
Permalink: http://viaf.org/viaf/85195059
Preferred Forms
-
-
- 100 1 _ ‡a Dwyer, Matthew (sparse)
-
- 100 1 _ ‡a Dwyer, Matthew ‡d 1963-
- 100 1 _ ‡a Dwyer, Matthew ‡d 1963-
-
-
-
- 100 1 _ ‡a Dwyer, Matthew, ‡d 1963-
-
- 100 1 _ ‡a Dwyer, Matthew, ‡d 1963-....
- 100 0 _ ‡a Matthew B. Dwyer ‡c American software engineer
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Fundamental approaches to software engineering 10th international conference ; proceedings | |
Introductory paper [zu: Special section on the algorithmics of software model checking] | |
Joint European Conferences on Theory and Practice of Software | |
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings | |
SIGSOFT 2004/FSE 12 : Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering : October 31-November 5, 2004, Newport Beach, California, USA | |
SIGSOFT'04/FSE-12 | |
SPIN 2001 |