Jackson de Carvalho

Books
Program Logic for the Twenty First Century Program Logic for the Twenty First Century
Program Logic for the Twenty First Century
2013