Search for persons
X
?
Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1 ,
1
CS1 with a Side of AI: Teaching Software Verification for S..:
, In:
?
Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That ,
2