Composing Model-Based Analysis Tools

MLA

Robert Heinrich, et al. Composing Model-based Analysis Tools. Springer International Publishing, 2021.

APA

Robert Heinrich, R. Heinrich, Durán, F., Talcott, C., & Zschaler, S. (2021). Composing Model-Based Analysis Tools. Springer International Publishing.

Chicago

Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler. Composing Model-Based Analysis Tools. : Springer International Publishing, 2021.