Building Formal Method Tools in the Isabelle/Isar Framework.

MLA

Hutchison, David, et al. “Building Formal Method Tools in the Isabelle/Isar Framework.” Theorem Proving in Higher Order Logics (9783540745907), 2007, pp. 352–67. EBSCOhost, https://doi.org/10.1007/978-3-540-74591-4_26.

APA

Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Nierstrasz, O., Pandu Rangan, C., Steffen, B., Sudan, M., Terzopoulos, D., Tygar, D., Vardi, M. Y., Weikum, G., Schneider, K., Brandt, J., Wenzel, M., & Wolff, B. (2007). Building Formal Method Tools in the Isabelle/Isar Framework. In Theorem Proving in Higher Order Logics (9783540745907) (pp. 352–367). https://doi.org/10.1007/978-3-540-74591-4_26

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, et al. 2007. “Building Formal Method Tools in the Isabelle/Isar Framework.” In Theorem Proving in Higher Order Logics (9783540745907), 352–67. doi:10.1007/978-3-540-74591-4_26.