research data . Dataset . 2003

Automatic Software Model Checking Using CLP

Flanagan, Cormac;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg