Cited By
View all- Gregersen SThomsen SAskarov A(2019)A Dependently Typed Library for Static Information-Flow Control in IdrisPrinciples of Security and Trust10.1007/978-3-030-17138-4_3(51-75)Online publication date: 3-Apr-2019
- Deepa GThilagam PPraseed APais A(2018)DetLogicJournal of Network and Computer Applications10.1016/j.jnca.2018.01.008109:C(89-109)Online publication date: 1-May-2018
- Ionescu CJansson PBotta N(2018)Type Theory as a Framework for Modelling and ProgrammingLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_8(119-133)Online publication date: 29-Oct-2018
- Show More Cited By