Garg, Deepak

Full name Familienname, Vorname

Garg, Deepak

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Authors / Editors	Title	Type	Issue Date
1	Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian	Monadic refinements for relational cost analysis	Konferenzbeitrag Inproceedings	2018
2	Munz, Reinhard ; Eigner, Fabienne ; Maffei, Matteo ; Francis, Paul ; Garg, Deepak ; Bauer, Lujo ; Küsters, Ralf	UniTraX: Protecting Data Privacy with Discoverable Biases	Konferenzbeitrag Inproceedings	2018
3	Rajani, Vineet ; Bastys, Iulia ; Rafnsson, Willard ; Garg, Deepak	Type Systems for Information Flow Control: The Question of Granularity	Artikel Article	2017