Jean-François Raskin

No bio available. Add one in Open Library.

Books by Jean-François Raskin (50 max)

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings

2016

Marsha Chechik, Jean-François Raskin

+ shelf+ list

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Ocasion of His 60th Birthday

2023

Jean-François Raskin, Krishnendu Chatterjee