Poster | Sebastian Krings /tag/poster/ Poster Wowchemy (https://wowchemy.com)en-usThu, 10 Jul 2014 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Poster /tag/poster/ Turning Failure into Proof: The ProB Disprover /publication/krings-disprover-poster-satsmt14/ Thu, 10 Jul 2014 00:00:00 +0000 /publication/krings-disprover-poster-satsmt14/