An Axiomatic Definition of the Programming Language PASCAL

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Hoare, C, Wirth, N
التنسيق: Journal article
منشور في: 1973