Completeness of Verification System with Separation Logic for Recursive Procedures. - Mahmudul Faisal (2016)