View in EDS

Large-scale system development using Abstract Data Types and refinement.

Saved in:
Bibliographic Details
Title: Large-scale system development using Abstract Data Types and refinement.
Authors: Fürst, Andreas1, fuersta@inf.ethz.ch, Hoang, Thai Son2, T.S.Hoang@ecs.soton.ac.uk, Basin, David1, basin@inf.ethz.ch, Sato, Naoto3, naoto.sato.je@hitachi.com, Miyazaki, Kunihiko3, kunihiko.miyazaki.zt@hitachi.com
Source: Science of Computer Programming; Dec2016, Vol. 131, p59-75, 17p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first