Use and assessment of a rigorous approach to CS1
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Hi-index | 0.00 |