Login / Signup

The role of logical interpretations in program development.

Manuel A. MartinsAlexandre MadeiraLuís Soares Barbosa
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases