Login / Signup

VSE: Controlling the Complexity in Formal Software Developments.

Dieter HutterHeiko MantelGeorg RockWerner StephanAndreas WolpersMichael BalserWolfgang ReifGerhard SchellhornKurt Stenzel
Published in: FM-Trends (1998)
Keyphrases