LRA Interpolants from No Man's Land
Informazioni aggiuntive
Autori
Sharygina N.,
Alt L.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2017
Lingua
Inglese
Nome convegno
13. Haifa Verification Conference 2017
Luogo convegno
Haifa, Israel
Data convegno
November 13-15, 2017
