Secure Software Architectures Based on Genode OS Framework and SPARK/Ada #1 Post by gusthoff » Tue, Mar 06, 2018, 7:27 PM UTC Secure Software Architectures Based on Genode OS Framework and SPARK/Adablog.adacore.com
Re: Secure Software Architectures Based on Genode OS Framework and SPARK/Ada #2 Post by equalunique » Tue, Mar 06, 2018, 9:05 PM UTC Epic.