Content deleted Content added
→External links: difference as provided by community members |
m Undid revision 910575313 by 27.5.159.165 (talk): useless addition |
||
Line 183:
* ''[http://queue.acm.org/detail.cfm?id=2220317 My Compiler Does Not Understand Me]'' by Poul-Henning Kamp in: ACM Queue 10(5), May 2012
* ''[https://blog.regehr.org/archives/1091 Use of Assertions]'' by John Regehr
[[Category:Formal methods]]
|