K framework: An Executable Formal Semantics of C with Applications (lambda-the-ultimate.org) 1 points by gtani 13y ago ↗ HN
0 comments
[ 4.3 ms ] story [ 9.6 ms ] threadNo comments yet.