A Framework for Incorporating Trust into Formal Systems Development.

Fredrik Degerlund, Kaisa Sere

Browse the full ICTAC paper archive.