Matthew B. Dwyer, John Hatcliff, Matthew Hoosier. Supporting model checking education using BOGOR/Eclipse. In Michael G. Burke, editor, Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, ETX 2004, Vancouver, British Columbia, Canada, October 24, 2004. pages 88-92, ACM, 2004. [doi]
Abstract is missing.