Languages
Fraser, Gordon.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(1998 :); Fraser, Gordon.; Gargantini, Angelo.; SpringerLink (Online service)
(Electronic resources)
Search based software engineering4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(1998 :); Fraser, Gordon.; SpringerLink (Online service); Teixeira de Souza, Jerffeson.
(Electronic resources)
Testing - practice and research techniques5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(1998 :); Bottaci, Leonardo.; Fraser, Gordon.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Pattern Recognition.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Academic-industrial collaboration
Operating Systems.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.