Implementing JML Contracts with AspectJ by Henrique Rebelo
Implementing JML Contracts with AspectJ by Henrique Rebelo

Implementing JML Contracts with AspectJ

Improving instrumentation and checking of JML contracts
by Henrique Rebelo
( )( )( )( )( )(0)
0Reviews0Quotations0Notes
Community Stats
0

Have it in their library

0

Are reading it right now

0

Are willing to exchange it

About this Edition

Language

German

Publish Date

Feb 7, 2012

Format

Paperback

Number of Pages

144

ISBN

384733753X

ISBN-13

9783847337539