文献
- Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems, Empirical Software Engineering 2009
2012-01-04
2011-12-31
2011-12-18
2011-12-12
2011-12-08
2011-12-07
2011-12-06
2011-12-02
2011-11-28
2011-11-24
2011-11-18
2011-11-02
2011-10-20
2011-10-07
2011-09-24
2011-08-16
2011-08-14
2011-07-26
2011-07-01
2011-06-19
2011-06-18
2011-05-30
2011-04-15
2011-03-22
2011-03-14
2011-03-12
2011-03-05
2011-03-03
2011-02-23
2011-02-21
2011-02-12
2011-02-04
2011-01-12
2011-01-04
2011-01-02