BackLinks of formal_specification Copy: has NO comma Hide Show BackLinks search for "formal_specification" Search BackLinks only Display context of search results Case-sensitive searching 명세,specification 올바름,correctness Found 2 matching pages out of 2032 total pagesShow Context.You can also click here to search title.