Towards formal verification in a component-based reuse methodology /

Description

Lic.-avh. Linköping : Univ., 2003.

Links & Downloads

1. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5696

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/186199623
Date	January 2003
Creators	Karlsson, Daniel,
Publisher	Linköping : Univ.,
Source Sets	OCLC
Language	English
Detected Language	English
Source	Sammanfattning och fulltext från Linköping University Electronic Press