3 ms·

I believe it is because his support for Formal Methods. http://www.cs.utexas.edu/users/EWD/ewd11xx/EWD1130.PDF http://www.cs.utexas.edu/users/EWD/ewd11xx/EWD11

by bartwe 16y ago

I believe it is because his support for Formal Methods. http://www.cs.utexas.edu/users/EWD/ewd11xx/EWD1130.PDF http://www.cs.utexas.edu/users/EWD/ewd11xx/EWD1130.PDF