The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
Programming-in-the-large: past, present, and future
ICSE '92 Proceedings of the 14th international conference on Software engineering
Exploring operating system internals with workstations
CSC '87 Proceedings of the 15th annual conference on Computer Science
Should undergraduates explore internals of workstation operating systems
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Encyclopedia of Computer Science
Hi-index | 0.00 |
First Page of the Article