User:Jens Bendisposto: Difference between revisions

No edit summary
No edit summary
Line 6: Line 6:


<html >
<html >
<iframe src="http://cobra.cs.uni-duesseldorf.de/evalB/embedded.jsp" width="100%" height="500" name="ProB Shell" border="0" frameborder="0" scrolling="no">
<iframe src="http://cobra.cs.uni-duesseldorf.de/evalB/embedded.jsp" width="600" height="500" name="ProB Shell" border="0" frameborder="0" scrolling="no">
   <p>Your Browser does not suport IFrames.</p>
   <p>Your Browser does not suport IFrames.</p>
</iframe>
</iframe>
</html>
</html>

Revision as of 11:39, 17 May 2012

Formating_Sandbox

Jens_Bendisposto:ProB 2.0

ProB 2.0 Requirements Document