![]() | ![]() |
| 2007 | ||
|---|---|---|
| 1 | Anne Mulhern, Charles Fischer, Ben Liblit: Tool Support for Proof Engineering. Electr. Notes Theor. Comput. Sci. 174(2): 75-86 (2007) | |
| 1 | Ben Liblit | [1] |
| 2 | Anne Mulhern | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page