Software Engineering and Formal Methods

View on Open Library

Software Engineering and Formal Methods

by Gilles Barthe , Alberto Pardo , Gerardo Schneider

No reviews yet

First published: 2011 1 language ISBN: 9783642246906

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Gilles Barthe

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Construction and Analysis of Safe, Secur...

L'enfance spirituelle

L'enfance spirituelle

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Trustworthy Global Computing

Trustworthy Global Computing

Applied Semantics

Applied Semantics