Number of posts: 2 (2 per day)
First post: 2023-11-05 21:02:20
Last post: 2023-11-06 06:15:12
| Date | List | Subject |
|---|---|---|
| 2023-11-06 06:15:12 | linux-kernel | Re: [RFC+Patch] Formal models as source of truth for Software Architects. |
| 2023-11-05 21:02:20 | linux-kernel | Re: [RFC+Patch] Formal models as source of truth for Software Architects. |