## Bo Guo, Mahadevan Subramaniam

*Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover*

SEFM, 2008.

@inproceedings{SEFM-2008-GuoS, author = "Bo Guo and Mahadevan Subramaniam", booktitle = "{Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2008.40", isbn = "978-0-7695-3437-4", pages = "335--344", publisher = "{IEEE Computer Society}", title = "{Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover}", year = 2008, }