Pergamos - Library and Information Center of National and Kapodistrian University of Athens

Conference Paper uoadl:1039862 724 Read counter

Original Title:

Program modules and their verification

Languages of Item:

English

Creator:

Antoniou, G.

Abstract:

Empty abstract

Main subject category:

Algorithms and Theory of Computation

Other subject categories:

Networks and Telecommunications
Algebra

Pages (from-to):

210-221

Persistent URL:

https://pergamos.lib.uoa.gr/uoa/dl/object/1039862