Teaching data structures with Ada: an eight-year perspective
ACM SIGCSE Bulletin
The portable dining philosophers: a movable feast of concurrency and software engineering
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Ada System Dependency Analyzer Tool
Computer
SMALL-Ada: personal computer courseware for studying concurrent programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
OMC-INTEGRAL Memory Management
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |