@inbook{43b1bbd9058840839a70cbe5a197876b,
title = "Integration of formal and informal techniques for requirements engineering",
abstract = "In this paper we define and motivate the structure of a conceptual toolbox of technbiques for writing and validating specifications of required system behavior",
keywords = "EWI-10653, IR-76205, SCS-Services",
author = "Wieringa, {Roelf J.}",
year = "1995",
language = "Undefined",
isbn = "not assigned",
publisher = "Vrije Universiteit Amsterdam",
editor = "M. Willems and R. Fensel and {van Harmelen}, F.",
booktitle = "Modelling Languages for Knowledge-Based Systems",
address = "Netherlands",
}