Sciweavers

10289 search results - page 22 / 2058
» Standard bases in K
Sort
View
ICAIL
2005
ACM
15 years 7 months ago
A legal drafting environment based on formal and semantic XML standards
Carlo Biagioli, Enrico Francesconi, Pier-Luigi Spi...
OTM
2005
Springer
15 years 7 months ago
Automatic Introduction of Mobility for Standard-Based Frameworks
Grégory Haïk, Jean-Pierre Briot, Chris...