Personensuche
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
2
Reasoning About Vectors Using an SMT Theory of Sequences:
, In:
?
Equity Policies in Global Higher Education ,
3
Access and Inequality in US Higher Education: Policy Issues:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
Fast and Reliable Formal Verification of Smart Contracts wi..:
, In:
?
The Promise of Higher Education ,
8
A Personal Reflection on the Key Challenge for Higher Educa..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14