search result

Cover von Software composition
7th international symposium : Budapest, Hungary, March 29 - 30, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4954
Media group: MONOGRAPHIE
Cover von Abstracting Gradual References (SCICO Journal-first)

Abstracting Gradual References (SCICO Journal-first)

Year: 2020
Media group: LIPIcs
Cover von Type Abstraction for Relaxed Noninterference

Type Abstraction for Relaxed Noninterference

Year: 2017
Media group: LIPIcs
Cover von Vol. XI.; Transactions on aspect-oriented software development
Search for this author
Year: 2014
Publisher: Berlin, Springer
Volume: Vol. XI.
Series: Lecture notes in computer science : Journal Subline; 8400
Media group: MONOGRAPHIE
Cover von Volume XII.; Transactions on Aspect-Oriented Software Development XII
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Volume: Volume XII.
Series: Lecture notes in computer science; 8989
Media group: MONOGRAPHIE
Cover von Volume X.; Transactions on aspect-oriented software development
Search for this author
Year: 2013
Publisher: Berlin, Springer
Volume: Volume X.
Series: Lecture notes in computer science : Journal Subline; 7800
Media group: MONOGRAPHIE
Cover von Gradual Program Analysis for Null Pointers

Gradual Program Analysis for Null Pointers

Author: Sunshine, Joshua
Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0