-
621
Symbolic path simulation in path-sensitive dataflow analysis.
Published in Software engineering notes.Article -
622
-
623
-
624
-
625
-
626
-
627
-
628
-
629
-
630
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article