About this scholarly article

Verification, Model Checking, and Abstract Interpretation Volume 2294 by Cortesi, Agostino is a scholarly article available to read on EtoBox.

Author

Cortesi, Agostino

Publisher

Springer Berlin Heidelberg

Published

2002