Skip to main content

Towards formal methods for mathematical modeling

Ursula Martin

Book Title
Proceedings 5th NASA Langley Workshop on Formal Methods
Year
2000