Lars Birkedal
AuthID: R-00G-DFF
1
TÃTULO: Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
AUTORES: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: ICFP
AUTORES: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: ICFP
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
AUTORES: Lars Birkedal;
PUBLICAÇÃO: 2012, FONTE: FOSSACS, VOLUME: 7213
AUTORES: Lars Birkedal;
PUBLICAÇÃO: 2012, FONTE: FOSSACS, VOLUME: 7213
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Foundations of Software Science and Computational Structures
AUTORES: Lars Birkedal;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science
AUTORES: Lars Birkedal;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef4
TÃTULO: Foundations Of Software Science And Computational Structures 15th International Conference Fossacs 2012 Held As Part Of The European Joint Conferences On Theory And Practice Of Software Etaps 2012 Tallinn Estonia March 24 April 1 2012 Proceedings
AUTORES: Lars Birkedal;
PUBLICAÇÃO: 2012
AUTORES: Lars Birkedal;
PUBLICAÇÃO: 2012
INDEXADO EM: 
Openlibrary
Openlibrary