Export 1 results:
Search results for biblio_year:2013
Filters: 1 is biblio_year:1986 and 2 is biblio_year:2016 and 3 is biblio_year:1997 and 4 is biblio_year:1990 and 5 is biblio_year:2005 and Author is Jacques Julliand Achim D. Brucker  [Reset Search]
M. Carlier, C. Dubois and A. Gotlieb. A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic, Edited by J. J. A. Brucker. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.