Journal article
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Authors
Giménez M; Moscato MM; Lopez Pombo CG; Frias MF
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 139, , pp. 65–70
Publisher
Open Publishing Association
DOI
10.4204/eptcs.139.7
ISSN
2075-2180