Model Checking Software Mehr Bücher von Fabrizio Biondi, Thomas Given-Wilson & Axel Legay

La Sapienza

2017

Social Killer

2016