Special Issue on Logical Formalisms for Program Composition - Editorial

Publication
J. Funct. Log. Program.
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.