[Om] Page with POPCORN definitions is down

[Alberto González Palomo]

Wenzel, Ken wrote on 24/5/22 at 13:45:
> Dear community,
> 
> unfortunately the page
> 
> http://java.symcomp.org/FormalPopcorn.html <http://java.symcomp.org/FormalPopcorn.html>
> 
> is down. Can anybody help to get the contents?

   There is a copy from 2015 in the WayBack Machine of the Internet Archive:

https://web.archive.org/web/20150822191347/https://java.symcomp.org/FormalPopcorn.html

   Cheers,
-- 
     Alberto González Palomo
     Toledo, España / Saarbrücken, Deutschland
     https://matracas.org