Large-scale system development using Abstract Data Types and refinement.
Saved in:
| 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 |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2016.04.010 |
