EasyChair Smart Slide
Logic-based Methods for Software Engineers and Business People
Logic-based Methods for Software Engineers and Business People