내 프로필 만들기
공개 액세스
모두 보기자료 20개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Klaus OstermannProfessor of Computer Science, University of Tübingen, Germanyuni-tuebingen.de의 이메일 확인됨
- Mira MeziniProfessor of Computer Science, TU Darmstadt, Germanyinformatik.tu-darmstadt.de의 이메일 확인됨
- Eelco VisserProfessor of Computer Science, Delft University of Technologytudelft.nl의 이메일 확인됨
- Christian KästnerCarnegie Mellon University, School of Computer Sciencecs.cmu.edu의 이메일 확인됨
- Tillmann RendelSAPsap.com의 이메일 확인됨
- Markus Völterindependent consultant / itemisacm.org의 이메일 확인됨
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)cwi.nl의 이메일 확인됨
- Gabriël KonatDelft University of Technologytudelft.nl의 이메일 확인됨
- Tamás SzabóGitHubgithub.com의 이메일 확인됨
- Guido WachsmuthOracle Labsoracle.com의 이메일 확인됨
- Guido SalvaneschiAssociate Professor - University of St.Gallencsail.mit.edu의 이메일 확인됨
- Sven KeidelTU Darmstadt, Germanytu-darmstadt.de의 이메일 확인됨
- William R. CookAssociate Professor of Computer Science, University of Texas at Austincs.utexas.edu의 이메일 확인됨
- Steven KellyCTO at MetaCase, PhD from Univ. of Jyväskylämetacase.com의 이메일 확인됨
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.tudelft.nl의 이메일 확인됨
- Oliver BračevacEngineer / Researcher at Galoisgalois.com의 이메일 확인됨
- Thorsten BergerProfessor of Computer Science, Ruhr University Bochumrub.de의 이메일 확인됨
- André PacakPhD Student (Computer Science) JGU Mainzuni-mainz.de의 이메일 확인됨
- Sylvia GreweTU Darmstadtst.informatik.tu-darmstadt.de의 이메일 확인됨
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi Egyetemmit.bme.hu의 이메일 확인됨