J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson. Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng., 13(2):151-156, 1987.
@article{HalpernOPW87,
title = {Muse - A Computer Assisted Verification System},
author = {J. Daniel Halpern and Sam Owre and Norman Proctor and William F. Wilson},
year = {1987},
researchr = {https://researchr.org/publication/HalpernOPW87},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {13},
number = {2},
pages = {151-156},
}