AboutSign inJoin

João Saraiva

About

Some information is missing for this author.

Books

Applied Semantics
Applied Semantics
Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva
Generative and Transformational Techniques in Software Engineering
Generative and Transformational Techniques in Software Engineering
Joost Visser, João Saraiva, Ralf Lämmel
Generative and Transformational Techniques in Software Engineering
Generative and Transformational Techniques in Software Engineering
Joost Visser, João Saraiva, Ralf Lämmel
Generative and Transformational Techniques in Software Engineering III
Generative and Transformational Techniques in Software Engineering III
Joost Visser, João Saraiva, Ralf Lämmel, Joao M Fernandes
Applied Semantics
Applied Semantics
Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian