PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Armstrong, Alasdair"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algebras for Program Correctness in Isabelle/HOL.

, , und . RAMICS, Volume 8428 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Armstrong, Alasdair
Eine Person hinzufügen mit dem Namen Armstrong, Alasdair
 

Weitere Publikationen von Autoren mit dem selben Namen

Reducing Opacity to Linearizability: A Sound and Complete Method., , und . CoRR, (2016)Modularising Opacity Verification for Hybrid Transactional Memory., und . FORTE, Volume 10321 von Lecture Notes in Computer Science, Seite 33-49. Springer, (2017)On abstraction and compositionality for weak-memory linearisability., , , und . VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 183-204. Springer, (2018)Lightweight Program Construction and Verification Tools in Isabelle/HOL., , und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 5-19. Springer, (2014)Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools., , und . CoRR, (2013)Dependently Typed Programming based on Automated Theorem Proving, , und . CoRR, (2011)Building program construction and verification tools from algebraic principles., , und . Formal Asp. Comput., 28 (2): 265-293 (2016)Proving Opacity via Linearizability: A Sound and Complete Method., , und . FORTE, Volume 10321 von Lecture Notes in Computer Science, Seite 50-66. Springer, (2017)Automated Reasoning in Higher-Order Regular Algebra., und . RAMICS, Volume 7560 von Lecture Notes in Computer Science, Seite 66-81. Springer, (2012)Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools., , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 78-93. Springer, (2014)