Lars Birkedal
AuthID: R-00G-DFF
1
TITLE: Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
AUTHORS: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: ICFP
AUTHORS: Gondelman, Leon; Hinrichsen, Jonas Kastberg; Pereira, Mario; Timany, Amin; Birkedal, Lars;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: ICFP
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: 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
AUTHORS: Lars Birkedal;
PUBLISHED: 2012, SOURCE: FOSSACS, VOLUME: 7213
AUTHORS: Lars Birkedal;
PUBLISHED: 2012, SOURCE: FOSSACS, VOLUME: 7213
INDEXED IN: 
DBLP
DBLP3
TITLE: Foundations of Software Science and Computational Structures
AUTHORS: Lars Birkedal;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
AUTHORS: Lars Birkedal;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef4
TITLE: 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
AUTHORS: Lars Birkedal;
PUBLISHED: 2012
AUTHORS: Lars Birkedal;
PUBLISHED: 2012
INDEXED IN: 
Openlibrary
Openlibrary