Languages
Nielsen, Brian.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
Grabowski, Jens.; Nielsen, Brian.; SpringerLink (Online service); FATES 2004 ((2004 :)
(Language materials, printed)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
Nielsen, Brian.; Weise, Carsten.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer software- Testing
Computer Science.
Computer Communication Networks.