Sciweavers

15777 search results - page 217 / 3156
» Engineering in Software
Sort
View
AADEBUG
2000
Springer
15 years 11 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
ADAEUROPE
2000
Springer
15 years 11 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
AMAST
2000
Springer
15 years 11 months ago
Message Authentication through Non Interference
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...