LRA Interpolants from No Man’s Land (English)
- New search for: Alt, Leonardo
- New search for: Hyvärinen, Antti E. J.
- New search for: Sharygina, Natasha
- New search for: Alt, Leonardo
- New search for: Hyvärinen, Antti E. J.
- New search for: Sharygina, Natasha
In:
Hardware and Software: Verification and Testing
1
;
195-210
;
2017
- Article/Chapter (Book) / Electronic Resource
-
Title:LRA Interpolants from No Man’s Land
-
Contributors:
-
Published in:Hardware and Software: Verification and Testing , 1 ; 195-210Programming and Software Engineering ; 10629, 1 ; 195-210
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2017-01-01
-
Size:16 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: