City Research Online - Items where Author is "Kawamura, Y."

Items where Author is "Kawamura, Y."

Group by: Type | No Grouping

Number of items: 1.

Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C. , Imai, Y. & Kawamura, Y. (2019). Application of Abstract Interpretation to the Automotive Electronic Control System. Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388, pp. 425-445. doi: 10.1007/978-3-030-11245-5_20

This list was generated on Mon Nov 3 00:47:37 2025 UTC.