1 expert in "logical foundations of software documentation" found:
Jeffrey Zucker
Expert In:
Logical
foundations
of
software
documentation
Automatic proof checking
Computability over abstract algebras
Computation logic theory
View Profile