Formal Methods Research at SICS and KTH: An Overview (2003)

Cached

Download Links

by Mads Dam , Lars-Åke Fredlund , Dilian Gurov