e-Informatica Software Engineering Journal (Jan 2007)

Program Verifications, Object Interdependencies, and Object Types

Xing Cong-Cong

Affiliations

Xing Cong-Cong

Journal volume & issue: Vol. 1, no. 1
pp. 77 – 98

Abstract

No abstracts available.

Published in e-Informatica Software Engineering Journal

ISSN: 1897-7979 (Print); 2084-4840 (Online)
Publisher: Wroclaw University of Science and Technology
Country of publisher: Poland
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
Website: http://www.e-informatyka.pl/

About the journal