%0 Journal Article %1 LeGall:1996:FST %A Le Gall, P. %A Arnould, A. %D 1996 %J Lecture Notes in Computer Science %K correctness oracle singlesystem %P 342--?? %T Formal Specifications and Test: Correctness and Oracle %V 1130

@article{LeGall:1996:FST, acknowledgement = {Nelson H. F. Beebe, Center for Scientific Computing, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org|, \path|beebe@ieee.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|}, added-at = {2008-05-16T11:00:26.000+0200}, author = {{Le Gall}, P. and Arnould, A.}, bibdate = {Tue Oct 29 14:12:39 MST 1996}, biburl = {https://www.bibsonomy.org/bibtex/291f73a0b6315aee831988a133974e83d/ist_spl}, coden = {LNCSD9}, description = {Computer Science Bibliography Collection}, interhash = {e2e38bbf219c20f6a22a519f9e498eee}, intrahash = {91f73a0b6315aee831988a133974e83d}, issn = {0302-9743}, journal = {Lecture Notes in Computer Science}, keywords = {correctness oracle singlesystem}, pages = {342--??}, timestamp = {2008-05-16T11:00:26.000+0200}, title = {Formal Specifications and Test: Correctness and Oracle}, volume = 1130, year = 1996 }