Account Options

  1. Sign in
Google Groups Home
« Groups Home
clara
Home
About this group
Apply for group membership
View this group in the new Google Groups
Group info
Members: 11
Language: English
Group categories: Not categorized
More group info »
Home
Discussions9 of 17 messages view all »
Call for Papers - SOAP 2012: 1st International Workshop on the State Of the Art in Java Program Analysis
By Eric Bodden - Dec 20 2011 - 2 authors - 1 reply
Video on Clara available online
By Eric Bodden - Dec 14 2011 - 1 author - 0 replies
Open position: Research Assistant in Secure Software Engineering
By Eric Bodden - Nov 23 2011 - 1 author - 0 replies
Why cannot call Shadow.allActiveShadows in QuickCheck analysis
By Eric Bodden - Aug 1 2011 - 2 authors - 3 replies
Nightly builds now available from TU Darmstadt server
By Eric Bodden - Jul 13 2011 - 1 author - 0 replies
Open PhD and PostDoc Positions at Software Technology Group (TU Darmstadt)
By Eric Bodden - Jun 27 2011 - 1 author - 0 replies
PhD scholarship in Secure Services at CASED / TU Darmstadt
By Eric Bodden - Jan 5 2011 - 1 author - 0 replies
Clara Tutorial at RV 2010
By Eric Bodden - May 27 2010 - 1 author - 0 replies
AnalysisJobs in DependentAdviceIntraproceduralAnalysis
By Chris Thiel - May 13 2010 - 2 authors - 4 replies

Report this group   XML       Send email to this group: clara-framework@googlegroups.com
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2012 Google