Program Correctness, Preconditions, Postconditions, Axiomatic Semantics
2011 N1 = 2024 A2
blog.evanchen.cc·4d
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
Loading...Loading more...
Program Correctness, Preconditions, Postconditions, Axiomatic Semantics