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
CrossRef