Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems by Radu Calinescu | Menrva Books | MenrvaBooks