Semantic inspection of software artifacts from theory to practice
By: by Tim Heyer
Series: Linköping studies in science and technology -- dissertation no. 725; Linköping studies in science and technology -- no. 725
Publisher: Dept. of Computer and Information Science, Linköpings universitet
Published: 2001
Place of publication: Linköping
Language: eng
Number of pages: 197
Subjects: Computer software; Development
Notes: Thesis (doctoral)--Linköpings University, 2001.

Includes bibliographical references.