MPG.eBooks - Author Search Results

Cover Image

1

Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Published 2018

Springer International Publishing

Other Authors: “...Scedrov, Andre...”

Cover Image

2

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

by Okada, Mitsuhiro
Published 2003

Springer Berlin Heidelberg

Other Authors: “...Scedrov, Andre...”

Cover Image

3

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Scedrov, Andre...”

Cover Image

4

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Other Authors: “...Scedrov, Andre...”