Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Gespeichert in:
Verfasser / Beitragende:
[Osman Hasan, Sofiène Tahar]
Ort, Verlag, Jahr:
2010
Enthalten in:
Journal of Computer Science and Technology, 25/6(2010-11-01), 1305-1320
Format:
Artikel (online)
Online Zugang: