Subject
From
Date
List
[arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions[arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
Hesham ElBakoury
2023-11-28
architecture-discuss
/arch/msg/architecture-discuss/d053n1HPwb29ZPHZCmOYsIM_xy4/
3389413
2100482
Re: [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future DirectionsRe: [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
Marc Petit-Huguenin
2023-11-28
architecture-discuss
/arch/msg/architecture-discuss/m1mC4yBFo2WqYyIiHY8Wb-Wx988/
3389429
2100482