Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
12 years 7 months ago
Towards Declarative Programming for Web Services
ness Reļ¬nement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
books