@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",
editor = "M. Willems and R. Fensel and \{van Harmelen\}, F.",
booktitle = "Modelling Languages for Knowledge-Based Systems",
address = "Netherlands",
note = "Modelling languages for knowledge-based systems ; Conference date: 01-01-1995 Through 01-01-1995",
}