Conference Proceedings

Extensible specifications for automatic re-use of specifications and proofs

D Matichuk, T Murray, G Eleftherakis, M Hinchey, M Holcombe

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Springer Berlin Heidelberg | Published : 2012

Citation metrics