Bjørner, Nikolaj
[HerausgeberIn];
Sofronie-Stokkermans, Viorica
[Sonstige Person, Familie und Körperschaft]
;
CADE 23 2011 Breslau International Conference on Automated Deduction
Bjørner, Nikolaj
[HerausgeberIn];
Gurfinkel, Arie
[HerausgeberIn]
;
FMCAD 18. 2018 Austin, Tex,
Institute of Electrical and Electronics Engineers,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery Special Interest Group on Programming Languages,
Association for Computing Machinery Special Interest Group on Software Engineering
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Jackson, Ethan K.
[VerfasserIn];
Bjørner, Nikolaj
[VerfasserIn];
Schulte, Wolfram
[VerfasserIn]
;
Ethan K. Jackson and NikolajBjørner and Wolfram Schulte
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Bjørner, Nikolaj S.
[VerfasserIn];
Christakis, Maria
[VerfasserIn];
Maffei, Matteo
[VerfasserIn];
Rosu, Grigore
[VerfasserIn]
;
Nikolaj S. Bjørner and Maria Christakis and Matteo Maffei and Grigore Rosu
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Bjorner, Nikolaj
[VerfasserIn];
Hähnle, Reiner
[VerfasserIn];
Nipkow, Tobias
[VerfasserIn];
Weidenbach, Christoph
[VerfasserIn]
;
NikolajBjorner and Reiner Hähnle and Tobias Nipkow and Christoph Weidenbach
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Bjorner, Nikolaj
[VerfasserIn];
Chatterjee, Krishnendu
[VerfasserIn];
Kovacs, Laura
[VerfasserIn];
Majumdar, Rupak M.
[VerfasserIn]
;
NikolajBjorner and Krishnendu Chatterjee and Laura Kovacs and Rupak M. Majumdar
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Bjorner, Nikolaj
[VerfasserIn];
Nieuwenhuis, Robert
[VerfasserIn];
Veith, Helmut
[VerfasserIn];
Voronkov, Andrei
[VerfasserIn]
;
NikolajBjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Bjorner, Nikolaj
[VerfasserIn];
Nieuwenhuis, Robert
[VerfasserIn];
Veith, Helmut
[VerfasserIn];
Voronkov, Andrei
[VerfasserIn]
;
NikolajBjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Bjorner, Nikolaj
[VerfasserIn];
Nieuwenhuis, Robert
[VerfasserIn];
Veith, Helmut
[VerfasserIn];
Voronkov, Andrei
[VerfasserIn]
;
NikolajBjorner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov
[MitwirkendeR]