Model checking Java programs

MLA

David L. Dill. “Model Checking Java Programs.” Proceedings of the Third Workshop on Formal Methods in Software Practice, Aug. 2000. EBSCOhost, https://doi.org/10.1145/349360.351124.

APA

David L. Dill. (2000). Model checking Java programs. Proceedings of the Third Workshop on Formal Methods in Software Practice. https://doi.org/10.1145/349360.351124

Chicago

David L. Dill. 2000. “Model Checking Java Programs.” Proceedings of the Third Workshop on Formal Methods in Software Practice, August. doi:10.1145/349360.351124.