#lightweight-third-party-authentication

icon subthematics
A JML Tutorial - Modular Specification and Verification of ...
Category

Documents

A JML Tutorial - Modular Specification and Verification of ...

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

A JML Tutorial - Modular Specification and Verification of ... Alternate Text
Category

Documents

Savoirs

A JML Tutorial - Modular Specification and Verification of ...

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

Book

232 pages

Flag

English

  • 1
Alternate Text