No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
<iframe id="forum_embed" | <iframe id="forum_embed" | ||
src='https://groups.google.com/forum/embed/?place=forum/prob-users' | src='https://groups.google.com/forum/embed/?place=forum/prob-users' | ||
+ '&showsearch=true&showpopout=true&showtabs=false' | + '&showsearch=true&showpopout=true&showtabs=false&parenturl=http://stups.hhu.de/ProB/w/User:Jens_Bendisposto' | ||
scrolling="no" | scrolling="no" | ||
frameborder="0" | frameborder="0" | ||
Jens_Bendisposto:Model Checkers
ProB 2.0 Requirements Document
Please help us to improve this documentation by providing feedback in our bug tracker, asking questions in our prob-users group or sending an email to Michael Leuschel.