Verification using parameterised Boolean equation systems

T.A.C. Willemse

Research output: Contribution to journal › Article › Academic

Fingerprint

Dive into the research topics of 'Verification using parameterised Boolean equation systems'. Together they form a unique fingerprint.

Social Sciences

Agricultural and Biological Sciences

Computer Science