肩带

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Stefan,Deian;Mazières,David;Mitchell,John C.;Russo,Alejandro:异常情况下的灵活动态信息流控制(2017) Broberg,Niklas;van Delft,Bart;Sands,David:信息流控制实用编程的典范(2013) ioport公司 Stefan,Deian;Russo,Alejandro;Buiras,Pablo;Levy,Amit;Mitchell,John C.;Maziéres,David:《解决并发信息流系统中的秘密终止和定时通道》(2012) Morgenstern,Jamie;Licata,Daniel R.:独立类型编程中的安全类型编程(2010)