Sciweavers

15974 search results - page 231 / 3195
» Object-Oriented Software Engineering
Sort
View
ADAEUROPE
2000
Springer
15 years 8 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
AMAST
2000
Springer
15 years 8 months ago
Message Authentication through Non Interference
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...