Research output per year
Research output per year
Search results
-
2021
Preface of the special issue on the conference on computer-aided verification 2018
Chockler, H. & Weissenbacher, G., Jul 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 1Research output: Contribution to journal › Editorial › peer-review
Open Access -
2016
Preface
Benferhat, S., Chockler, H., Fabre, E., Fey, G., Gössler, G., Groce, A., Hallé, S., Halpern, J., Leue, S., Nickovic, D., Podgurski, A., Sokolsky, O., Stefani, J. B., Travé-Massuyès, L., Vennekens, J., Wang, C. & Weissenbacher, G., 26 Aug 2016, In: Electronic Proceedings in Theoretical Computer Science. 224Research output: Contribution to journal › Editorial › peer-review