Login
 

Browse by Journals

One level up ...
Export as [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Group by: Year | Person
Jump to: 2010
Number of items: 1.

2010

Liu, Zhiying ; Parnas, David L. ; Trancón y Widemann, Baltasar:
Documenting and Verifying Systems Assembled from Components.
In: Frontiers of Computer Science in China. Vol. 4 (2010) Issue 2 . - pp. 151-161.
ISSN 1673-7466
DOI: https://doi.org/10.1007/s11704-010-0026-2

This list was generated on Sun Jun 7 03:22:13 2026 CEST.
[Top of page]
Use this URL to embed this page in external websites:
https://eref.uni-bayreuth.de/cgi/exportview/journal/Frontiers_of_Computer_Science_in_China/XML/Frontiers_of_Computer_Science_in_China.xml