Languages
Weise, Carsten.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Formal Approaches to Software Testing (vol. # 3997)5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
by:
(1998 :); Grieskamp, Wolfgang.; SpringerLink (Online service); Weise, Carsten.
(Electronic resources)
Testing software and systems24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(1998 :); Nielsen, Brian.; SpringerLink (Online service); Weise, Carsten.
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science.
Computer Communication Networks.