Tools and Algorithms for the Construction and Analysis of SystemsParosh Aziz Abdulla, K. Rustan M. LeinoHäftad551 kr
Verification, Model Checking, and Abstract InterpretationBarbara Jobstmann, K. Rustan M. LeinoHäftad551 kr
Tools and Algorithms for the Construction and Analysis of SystemsParosh Aziz Abdulla, K. Rustan M. LeinoHäftad551 kr
Verification, Model Checking, and Abstract InterpretationBarbara Jobstmann, K. Rustan M. LeinoHäftad551 kr