Tool support for informal deduction

ACM International Conference Proceeding Series

Volumn , Issue , 1996, Pages 119-126

  Broda, Krysia ^a   Eisenbach, Susan ^a   Kamara, Lloyd ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34948824767     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/369585.369604     Document Type: Conference Paper

References (0)