Результаты поиска - "Specifying and verifying and reasoning about programs."
-
1
-
2
-
3
-
4
Symbolic path simulation in path-sensitive dataflow analysis.
Опубликовано в: Software engineering notes.Статья -
5
-
6
Lightweight object specification with typestates.
Опубликовано в: Software engineering notes.Статья -
7
Non-null references by default in the Java modeling language.
Опубликовано в: Software engineering notes.Статья -
8
-
9
-
10