Assertion: algorithm | /r/HasProperty | based on formal description
Facets:
Source sentences:
text: Debugging - Have you ever implemented an algorithm based on formal description?