|
Title
|
|
|
|
Towards the automatic identification of violations to the normalized systems design theorems
| |
|
Author
|
|
|
|
| |
|
Language
|
|
|
|
English
| |
|
Source (book)
|
|
|
|
Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010), July 22-24, 2010, Athens, Greece / Cordeiro, José [edit.]; et al. [edit.]
| |
|
Publication
|
|
|
|
S.l.
:
SciTePress
,
2010
| |
|
ISBN
|
|
|
|
978-989-8425-22-5
| |
|
Volume/pages
|
|
|
|
p. 23-28
| |
|
ISI
|
|
|
|
000393150200005
| |
|