Under-Approximation Generation Driven by Relevance Predicates and Variants (English)
- New search for: Julliand, J.
- New search for: Kouchnarenko, O.
- New search for: Masson, P.-A.
- New search for: Voiron, G.
- New search for: Julliand, J.
- New search for: Kouchnarenko, O.
- New search for: Masson, P.-A.
- New search for: Voiron, G.
In:
Tests and Proofs
2
;
63-82
;
2018
- Article/Chapter (Book) / Electronic Resource
-
Title:Under-Approximation Generation Driven by Relevance Predicates and Variants
-
Contributors:Julliand, J. ( author ) / Kouchnarenko, O. ( author ) / Masson, P.-A. ( author ) / Voiron, G. ( author )
-
Published in:Tests and Proofs , 2 ; 63-82Programming and Software Engineering ; 10889, 2 ; 63-82
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2018-01-01
-
Size:20 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: