Publication

Back to overview

PVAIR: Partial Variable Assignment InterpolatoR

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Publication date 2016
Project Harnessing Parallel Computing for Model Checking
Show all

Proceedings (peer-reviewed)

Title of proceedings FASE 2016

-