Results
Found 377 works matching this query
Logic and Program Semantics
0
0
0
0
Verification, Model Checking, and Abstract Interpretation
0
0
0
0
Automated Deduction – CADE-24
0
0
0
0
Runtime Verification
0
0
0
0
Mathematical Foundations of Computer Science 2011
0
0
0
0
Abstract State Machines, Alloy, B, VDM, and Z
0
0
0
0
Design and Implementation of Large Spatial Databases
0
0
0
0
Verification, Model Checking, and Abstract Interpretation
0
0
0
0
Algorithms and data structures in VLSI design
0
0
0
0
Reversible Computation
0
0
0
0