search result

Cover von Formal methods in computer-aided design
4th international conference, Portland, OR, USA, November 6 - 8, 2002, proceedings
Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2517
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 10th International Conference on Interactive Theorem Proving
ITP 2019, September 9 - 12, 2019, Portland, OR, USA
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 141
Media group: LIPIcs
OPEN V 11.1.0.0