libhoare icon indicating copy to clipboard operation
libhoare copied to clipboard

Published 20 hours ago • verified publisher icon nrc

might be worth checking out how SPARK 2014 does contracts

Open mk270 opened this issue 10 years ago • 0 comments

http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html#subprogram-contracts

mk270 avatar Jul 27 '14 22:07 mk270