Dams, Dennis.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Theoretical and practical aspects of SPIN model checking = 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
by:
Dams, Dennis.; SpringerLink (Online service); International SPIN Workshop (1999 :); Federated Logic Conference ((1999 :); International SPIN Workshop (1999 :); World Congress on Formal Methods in the Development of Computing Systems ((1999 :)
(Language materials, printed)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; SpringerLink (Online service); Steffen, Martin.
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Computer programs- Correctness.
Logics and Meanings of Programs.
SPIN (Computer file)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Parallel programming (Computer science)
Computer software- Verification
Computer science.
Computer Science.