FormalZ presentation at CSEET 2020 ONLINE

Post author:Tanja Vos
Post published:November 11, 2020
Post category:News
Post comments:0 Comments

@WishnuPrasetya presenting FormalZ @CSEETconf online! More details of FormalZ can be found on our website: https://t.co/GOHz6aftqr pic.twitter.com/gI1f2fTSre
— IMPRESS (@projectIMPRESS) November 11, 2020

Leave a Reply Cancel reply

projectIMPRESS
@projectIMPRESS
The ERASMUS+ IMPRESS project has ended. We have created 3 tools to engage students more in Software Engineering Edu… https://t.co/XT2a6npP8W

5 years ago
projectIMPRESS
@projectIMPRESS
RT @imartinezortiz: Wooh! congrats @Synpheros @WishnuPrasetya @e_ucm @projectIMPRESS https://t.co/rdfhRHpOc3

5 years ago
projectIMPRESS
@projectIMPRESS
RT @imartinezortiz: Although @projectIMPRESS is almost finished, we are still working on it. @e_ucm and @WishnuPrasetya got a paper… https://t.co/0U9p3XaZFX

5 years ago
projectIMPRESS
@projectIMPRESS
Code Defenders! IMPRESS worked on making software testing education more IMPRESSive and entertaining! Learn about i… https://t.co/HHtLmFLh1k

5 years ago
projectIMPRESS
@projectIMPRESS
The QuizzTool from IMPRESS enables teachers to add and search questions to generate Quizzes. Presented by @RitoSilva https://t.co/bwSur2eOq3

5 years ago
projectIMPRESS
@projectIMPRESS
Playing Code Defenders with the participants from @CSEETconf. Fighting over equivalent mutants! https://t.co/gGET94CHAX

5 years ago
projectIMPRESS
@projectIMPRESS
Code defenders as extended by the IMPRESS project explained by @thegordonfraser @CSEETconf 2020 online edition. https://t.co/UpXMczj0rZ

5 years ago
projectIMPRESS
@projectIMPRESS
https://t.co/CBuNFhKP6D https://t.co/CwvyXk5VmF

5 years ago
projectIMPRESS
@projectIMPRESS
https://t.co/AVoEKpuJ0V https://t.co/oZCCsmYLYY

5 years ago
projectIMPRESS
@projectIMPRESS
RT @imartinezortiz: @tanja_vos presenting the main goals of @projectIMPRESS at #CSEET2020 https://t.co/UR5sZtTE3x

5 years ago

You Might Also Like

An Experience Report on Using FormalZ in a Class

Version 1.2 of Code Defenders has been released!

Students at the UCM use Code defenders!

Leave a Reply Cancel reply