researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Conference series
Tags
test,testing,proof,prooving,verification,quality
tap 2018: TAP 2018
in ,
Conference
Call for Papers
Program
About the Conference
Conference Dates
Proceedings
Catherine Dubois
,
Burkhart Wolff
, editors,
Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
.
Volume 10889 of
Lecture Notes in Computer Science
, Springer,
2018.