Assertions in Programming: From Scientific Theory to Engineering Practice

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Hoare, C
Ձևաչափ: Conference item
Հրապարակվել է: Springer 2002