Languages
Wolff, Burkhart.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(1998 :); Dubois, Catherine.; SpringerLink (Online service); Wolff, Burkhart.
(Electronic resources)
Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(1998 :); Gogolla, Martin.; SpringerLink (Online service); Wolff, Burkhart.
(Electronic resources)
Testing software and systems23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(1998 :); SpringerLink (Online service); Wolff, Burkhart.; Zaidi, Fatiha.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering|vCongresses.
Models and Principles.
The Computing Profession.
Computer Science.
Systems and Data Security.