-
1
A specification language for coordinated objects.
Опубликовано в: Software engineering notes.Статья -
2
Evaluating and tuning a static analysis to find null pointer bugs.
Опубликовано в: Software engineering notes.Статья -
3
-
4