Integrating Model Checking and Procedural Languages
Best practices of ETL processes controlling1 CEIT.AUT.AC.IR/ISLAB ISLAB Trend.
Integrating Model Checking and Procedural Languages David Owen July 19, 2004.