Sciweavers

15777 search results - page 217 / 3156
» Engineering in Software
Sort
View
AADEBUG
2000
Springer
15 years 8 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
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...