Robuta

https://cris.iucc.ac.il/en/publications/hardware-and-software-verification-and-testing-13th-international/ Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference,... hardware and software haifa conference verification testing international