Title
A Language for Building Verified Software Components.
Year
DOI
Venue
2013
10.1007/978-3-642-38977-1_23
ICSR
Field
DocType
Citations 
Programming language,Computer science,Reuse,Software system,Component-based software engineering,Software construction,Java,Semantics,Software development,Design objective
Conference
0
PageRank 
References 
Authors
0.34
0
18