BibSonomy publications for /user/ist_spl/correctnessFri May 16 11:00:26 CEST 2008Lecture Notes in Computer Science342--??Formal Specifications and Test: Correctness and Oracle11301996singlesystem oracle correctness