Results 51 to 60 of about 23,729 (71)
Some of the next articles are maybe not open access.
Teaching with Logika: Conceiving and Constructing Correct Software
Lecture Notes in Computer ScienceStefan Hallerstede, John Mark Hatcliff
exaly
Teaching with Logika: Conceiving and Constructing Correct Software
Lecture Notes in Computer Science