| http://www.w3.org/ns/prov#value | - Research areas of interest for the CPA cluster include the following: topics concerning the foundations of software and software engineering including analysis and testing of software, components and composition, formal methods, verification and synthesis, and programming language semantics, design, and implementation; software/hardware systems and techniques for reliable and high performance comp
|
