Skip to main content

Introduction

Marina Jirotka and Joseph Goguen

Crossref
JirotkaGoguen1994:Requirements
Pages
1−13
Year
1994