LinuxLists
Users
About
Mathew, Cherry G.* (
[email protected]
)
Number of posts: 1 (1 per day)
First post: 2023-10-23 16:02:20
Last post: 2023-10-23 16:02:20
Date
List
Subject
2023-10-23 16:02:20
linux-kernel
[RFC+Patch] Formal models as source of truth for Software Architects.