-
11
-
12
Invariants and state in testing and formal methods.
Published in Software engineering notes.Article -
13
Symbolic path simulation in path-sensitive dataflow analysis.
Published in Software engineering notes.Article -
14
-
15
-
16
-
17
Engineering distributed software a structural discipline.
Published in Software engineering notes.Article -
18
-
19
Fluent temporal logic for discrete-time event-based models.
Published in Software engineering notes.Article -
20