First Page | Document Content | |
---|---|---|
![]() Date: 2014-01-03 19:49:48Marine propulsion Marine engines Business Transport Propulsion Outboard motor Sterndrive Used car Retail Caterpillar Inc. Nada Inboard motor | Add to Reading List |
![]() | LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue UniversityDocID: 1xVQq - View Document |
![]() | Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan MoorsDocID: 1xVKz - View Document |
![]() | LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf †DocID: 1xUOm - View Document |
![]() | Comparative Country Analysis Switzerland and the United States Nada Amin June 2004 IntroductionDocID: 1xUyq - View Document |
![]() | Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014DocID: 1xU9g - View Document |