Gaya APA
Spyratos, C, M, A, N.
(2009).
Synthesizing Monadic Predicates
.
:
.
Gaya MLA
Spyratos, Carlo, Meghini, And, Nicolas.
"Synthesizing Monadic Predicates".
:
,
2009.
Text.