DaftarIsitemplate

Call Number

SEM-281

Title

Deductive search for errors in the free data type specifications using model generation, Hal. 211-225

Author

Wolfgang Ahrendt;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location