TY  - RPRT
TI  - Integrated Modeling and Development of Component-Based Embedded Software in Scala
AU  - Bocchino, Robert
AU  - Havelund, Klaus
PY  - 2020
UR  - https://ntrs.nasa.gov/citations/20230005713
ID  - 20230005713
ER  -