Uncategorized Christina Mamakos Studies formal methods formal verification logic and foundations of mathematics and computational media Christina mamakoss mboli is on facebook
