FM 2006: Formal Methods: 14th International Sympos Tobias Nipkow

FM 2006: Formal Methods: 14th International Sympos Tobias Nipkow

Preview

Image
AUTHOR
83
ACTORS
69
PLOT
75
PRICE
51
Summary rating from 1213 user's marks. You can set own marks for this article - just click on stars above and press "Accept".
0

Description